Sort by
Refine Your Search
-
Category
-
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
-
and collaborative research environment within the lab. Take a leading role in mentoring junior students, with the opportunity to take on formal supervision roles. About you Qualifications: PhD in
-
leading role in mentoring junior students, with the opportunity to take on formal supervision roles. About you Qualifications: PhD in Neuroscience, Computational Neuroscience, Psychology, or a related field
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions