2 software-verification "FEUP" Fellowship positions

Public notice for one research grant Refª BI|2026/826 Project SafelaC – Refª LISBOA2030-FEDER-00866800 funded by operation nº 15018, Balcão dos Fundos, FEDER and FCT Application submission from 22-Dec-25 to 06-Jan-26

INESC ID | Portugal | 3 days ago

of programming languages, verification-aware languages, and in how to integrate AI tools and techniques into software projects. The evaluation panel assigns a classification to each of the candidates on a scale of

INESC TEC is accepting applications to award 1 Research Grant for Degree holders - VeriFixer - HASLAB (AE2025-0521)

INESC TEC | Portugal | about 1 month ago

:; The selected candidates will be members of the research project VeriFixer, which aims to create automatic repair methods and tools for verification-aware programming languages, with a particular focus on Dafny