-
:; 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
-
. Job summary: INESC TEC is inviting for applications for a Technical Staff in the field of R&D&I support The work focuses on the development and integration of software components within the NEXUS
Searches related to software verification
Enter an email to receive alerts for software-verification positions