-
for establishing correctness with respect to formal specifications Engineering efficient implementations that make high-level abstractions practical We seek outstanding candidates working in programming languages
-
the ARIA programme, including red/blue team exercises and sprint reviews Profile PhD (or nearing completion of) in computer science or a closely related field Background in formal verification, programming
-
present your work internationally. You are the ideal candidate if You hold a PhD in mathematics, computer science or a related field You have a strong background in formal verification with Lean You have
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions