Title: Post-Doctoral Fellowship (1 position)

Job summary
One Research Fellowship (Pos-Doctoral) is opened under the scope of the project Radicalize At NOVA (Protocolo FCT/OutSystems).

Main research field: Computer Science

Admission Requirements: To apply for this position, the candidate is required to have a strong computer science or informatics background at the PhD level, and a proven publication track record in one or more of the following areas: principles of programming languages, programming language design and implementation, software verification, and program analysis. We welcome candidates with a background on principles and theory (programming models, type systems, verification, semantics), or systems (language design, runtime systems, compilers). We expect research results to be published at premier programming languages and systems conferences and journals. The candidates should have excellent communication skills, be able to organise and prioritise work to meet defined and plans deadlines, and be fluent in English (spoken and written).

Work Objectives: The post-doctoral research associate will collaborate within a team targeting the design of new programming models, associated verification techniques, and/or programming environments to support the live construction of trustworthy applications in the web / cloud domain. Possible areas of focus include the development of behavioral type systems for safely updating strutured states and processes, reasoning techniques for distributed data management, certified runtime infrastructures, domain specific logics and algorithms for contracts and policies. The successful candidate will integrate the Software Systems research group.

Applicable legislation: Lei Nº. 40/2004, de 18 de Agosto, alterado e republicado pelo Decreto-lei Nº 202/2012 de 27 de Agosto (Estatuto do Bolseiro de Investigação Científica) e alterado pelo Decreto-Lei nº 233/2012 de 29 de Outubro, pela Lei nº12/2013 de 29 de Janeiro, pelo Decreto-Lei nº 89/2013, de 9 de Julho e pelo Decreto-Lei n.º 123/2019, de 28 de Agosto; Regulamento de Bolsas de Investigação da Fundação Para a Ciência e a Tecnologia, I.P. em vigor (https://www.fct.pt/apoios/bolsas/docs/RegulamentoBolsasFCT2019.pdf).

Place of work: Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa.

Duration: The position will be contract for 3 months, possibly renewable in accordance with the provisions of Regulation of Research Fellowships from FCT I.P.

Amount of the Fellowship: monthly payment by bank transfer of €1.600 net according to the regulations of the FCT Scientific Fellowships in Portugal (https://www.fct.pt/apoios/bolsas/valores.phtml.pt).

Selection Method: The selection methodology will include the analysis and evaluation of application documents (first phase), resulting in a classification (0-20 scale) which will consider a) the curricular evaluation (25%) and b) the relevant experience for the project (25%). The three best candidates (with a classification higher that 7) will be invited for an interview (second phase), which will contribute with 50% to the final classification. The grant may not be awarded if all candidates exhibit a quality level below the expected.

Selection Committee:
President: Professor Luís Caires
Members: Professor João Costa Seco, Professor Carla Ferreira
Substitutes: Professor Nuno Preguiça, Professor Nuno Correia

Communication of the results: The final results of the evaluation will be notified, within 90 days after the deadline for submission of applications, by e-mail.

Applications: The call will be open from 7/02/2020 to 20/02/2020.
The application must include the following documents: motivation letter, CV, and copy of academic records/certificates.
Applications should be send to Prof. Luis Caires (lcaires@fct.unl.pt) and Cc to nova-lincs.secretariado@fct.unl.pt with reference BIPD/2020/D1