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-10


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 and ensure that it integrates best practice guidelines developed by the usable security community. 2) Perform qualitative and quantitative user studies to determine the impact of formal verification on the adoption of password managers. 3) Actively participate in and contribute to PassCert's activities and regular meetings.


João Fernando Peixoto Ferreira



Phone Number: