Open Position

PassCert: Exploring the Impact of Formal Verification on the Adoption of Password Security Software
PassCert: Investigação do Impacto de Verificação Formal na Adopção de Software para Segurança de Passwords

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

Type of Contract: Research grant

Duration: 6 Months

Closed at: 2021-May-05


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 ways in which the data security of the password manager can improve.

3) Investigate ways of formally verifying the data security properties identified.

4) Actively participate in and contribute to PassCert's activities and regular meetings.


João Fernando Peixoto Ferreira



Phone Number: