Open Position

PassCert - CMU/TIC/0006/2019

Type of Position: Research Fellowship (Bolsa de Investigação)

Type of Contract: Research grant

Duration: 3 Months

Closed at: 2021-Oct-15


The selected candidate will be a member of the research project PassCert, which aims at building an open-source, proof-of-concept password manager that through the use of formal verification, is guaranteed to satisfy properties on data storage and password generation. PassCert is a research collaboration between researchers from INESC-ID Lisboa (PT), INESC TEC (PT), and Carnegie Mellon University (US). The selected candidate will: 1) Contribute to the development of the proof-of-concept verified password manager. 2) Explore the integration of formally verified components related to aspects such as data security. 3) Actively participate in and contribute to PassCert's activities and regular meetings. 4) Submit/Publish a research paper.


João Fernando Peixoto Ferreira



Phone Number: