Sort by
Refine Your Search
-
Employer
-
Field
-
(Level B) PhD in computer science or a related discipline with focus on formal methods. Experience with interactive theorem proving using Isabelle/HOL, HOL4, Coq or similar, or experience with proving
-
supportive role within the Academic Registrar’s Group, assisting in verifying completions for RMIT Vietnam students and collaborating on the coordination and delivery of formal graduation ceremonies across
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions