Home page
 
Post research opportunities
Find the ideal candidate
List of registered organisations
   
 
Post your CV
Find research opportunities
Practical information
Foreign Researchers Guide
Useful links
 
List and locate Portuguese Mobility Centres .
 
Portuguese research landscape
Find out how research is organised in Portugal.
Portuguese research policy
Find out about research policy in Portugal.
Women in science
Find out about the situation of women scientists.
 
Unique identifier: 47064fe9-e3f8-4951-a764-865c15224a51

1. Descrição do cargo/posição/bolsa
1. Job description

Job:
One BI-M research grant is now available in project LISBOA-01-0145-FEDER-031456 Angainor funded by funded by Programa Operacional Regional de Lisboa FEDER component and Fundação para a Ciência e Tecnologia in its OE

Job/Fellowship Reference: One BI-M research grant is now available in project LISBOA-01-0145-FEDER-031456 Angainor funded by funded by Programa Operacional Regional de Lisboa FEDER component and Fundação para a Ciência e Tecnologia in its OE

Main research field: Engineering

Sub research field:

Job summary:

The objective of this research grant is to research and develop techniques and tools for the reproducible evaluation and fault-injection of large-scale distributed systems. This includes, analysing, modelling and evaluating real-world system in different adversarial scenarios and assess how the observed behaviour matches the system guarantees/specification.



Job description:

Research Grant

Bolsa de Investigação para Mestre

 

LISBOA-01-0145-FEDER-031456 Angainor

56_2019_31456

 

 

The Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID) Portugal is one of the largest and most dynamic research institutes in Portugal in the areas of Computing Systems and Communication Networks, Embedded Electronic Systems, Information and Decision Support Systems, Interactive Intelligent Systems and Energy Systems.

One BI-M research grant is now available in project LISBOA-01-0145-FEDER-031456 Angainor funded by funded by Programa Operacional Regional de Lisboa FEDER component and Fundação para a Ciência e Tecnologia in its OE component under the following conditions:

Duration

12 months from December 10, 2019. The grant may be renewed within the period of the project, not exceeding the maximum period set by FCT for such grants. Renewal is subject to suitable performance

Legislation

A fellowship contract will be celebrated according to the Regulations for Research Grants of the Foundation for Science and Technology in force the INESC ID Grant regulations approved by FCT, and to the Status of Scientific Research Fellow (Lei nº 40/2004 de 18 de Agosto, and its successive amendments).

Monthly amount

The monthly amount of the grant 989.70€ is in accordance with the values stipulated in the “Regulations for Research Grants of the Foundation for Science and Technology” in force (https://www.fct.pt/apoios/bolsas/regulamentos.phtml.pt) and (http://www.fct.pt/apoios/bolsas/valores) and INESC-ID Lisboa Grant Regulations approved by FCT, and shall be rendered through a monthly bank transfer to an account held by the grantee

Objectives / summary

The objective of this research grant is to research and develop techniques and tools for the reproducible evaluation and fault-injection of large-scale distributed systems. This includes, analysing, modelling and evaluating real-world system in different adversarial scenarios and assess how the observed behaviour matches the system guarantees/specification.

 

Scientific supervision

The activity will be supervised by Professor Miguel Ângelo Marques de Matos, Assistant Professor at Instituto Superior Técnico and researcher at INESC-ID Lisboa. The grantee will be integrated at INESC-ID in the Distributed Systems Group (https://www.gsd.inesc-id.pt/).

Required education Level and research experience

The candidate should hold a Master's degree in Computer Science or related areas.  The ideal candidate will have a strong background in distributed systems, systems design and systems languages such as C/C++ and Rust. Experience with Linux, container technology, system analysis tools and scripting languages such as Python are highly valued. Proficiency in written and spoken English is mandatory.  

Evaluation criteria

Academic record of the candidate and interest for the following areas of research: and background in distributed systems (40%), systems design and tools (30%), systems programming in C/C++/Rust and Python programming (30%). The Jury will interview the top 3 candidates with higher classification.  In order to perform a more objective evaluation of some of the criteria, the interview will count for 50% of the evaluation of each criteria above.

 

The jury will convene in December 9, 2019 and is composed of

Name

Professional Status / Institution

Miguel Ângelo Marques de Matos

Assistant Professor, IST

João Pedro Faria Mendonça Barreto

Assistant Professor, IST

Nuno Miguel Carvalho Santos

Assistant Professor, IST

Results

The final evaluation results will be publicized through an ordered list, and the candidates will be notified of the Jury decision by email.

Formalisation of applications

Applications are formalised by sending an email to miguel.marques.matos@tecnico.ulisboa.pt with the documents stated bellow.  The application email should clearly state the reference of the project.

detailed curriculum vitae

motivation letter

single copy of official academic degree certificate with detailed list of grades, required in education level.

name of two personal references

*For candidates with degrees granted by foreign higher education institutions it is mandatory to have a degree or diploma recognition.  For more information press here.

 

Application Dates

 

From

 

To

 

25/11/2019

 

06/12/2019

 




Vacant posts: 1

Type of contract: Information not available

Job country: Portugal

Job city: Lisboa

Job company/institute: inesc id


Application deadline: 06 Dezembro 2019
(The Application's deadline must be confirmed on the Job Description)

2. Dados de contactos da organização
2. Organization contact data

Empty
3. Habilitações académicas
3. Required education Level


Empty
4. Línguas exigidas
4. Required languages


Empty
5. Experiência exigida em investigação
5. Required research experience


Empty