Sort by
Refine Your Search
-
:; 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
Searches related to verification
Enter an email to receive alerts for verification positions