BI-L - Bolseiro de Investigação (Licenciado)
“Formal methods for the analysis of modular gEnetic ReGulatOry network DynamiCs”
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 research grant(s) BI-L is/are now available in project “Formal methods for the analysis of modular gEnetic ReGulatOry network DynamiCs” (PTDC/EEI-CTP/2914/2014) funded by FCT/MCTES through national funds (PIDDAC), under the following conditions:
Three months from April 1st 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
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).
The monthly amount of the grant 752,38 € is in accordance with the values stipulated in the “Regulations for Research Grants of the Foundation for Science and Technology” in force (http://www.fct.pt/apoios/bolsas/docs/RegulamentoBolsasFCT2018.pdf) (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 candidate will work on the recently developed Avatar algorithm (http://doi.org/10.3389/fphys.2018.01161) implemented within GINsim (http://ginsim.org), a modeling and simulation tool for logical models of regulatory networks. This algorithm enables the quantification of attractor reachabilities in such models.
This work aims at the refactoring of the current JAVA code and its extension to support the definition of distinct update rates to each model component, affecting the probability of the successor chosen at each step of each random walk.
The activity will be supervised by Pedro Tiago Monteiro, Assistant Professor at IST, researcher at INESC-ID Lisboa. The grantee will be integrated at INESC-ID in the SAT group (http://inesc-id.pt/group/II08/).
Required education Level and research experience
The candidate should have BSc degree in Computer, Electrical or Biological Engineering. Previous experience in Java is required.
Language skills - proficiency in English
Candidates are selected on a first phase through their CV (60%), motivation letter (10%), level of english (10%) and research experience (20%).
On a second phase, candidates with an evaluation above 75% will be selected for an interview. In order to perform a more objective evaluation of some of the criteria, the interview will count for 50% of the evaluation of each criterion above.
The jury will convene in March 27 2019 and is composed of
Professional Status / Institution
Pedro Tiago Gonçalves Monteiro
Assistant Professor at IST / Researcher at INESC-ID
Researcher at IGC
Associated Professor at IST / Researcher at INESC-ID
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 Pedro.Tiago.Monteiro@tecnico.ulisboa.pt with the documents stated bellow. The application email should clearly state the reference of the project.
1. detailed curriculum vitae
2. motivation letter
3. single copy of official academic degree certificate with detailed list of grades, required in education level
4. 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.