2 formal-verification-computer-science PhD positions at The University of Manchester in Uk
-
Computer Science, Mathematics, or related areas. • Strong background in at least one of the following: formal methods, SMT solving, abstract interpretation, or model checking. • Experience with verification tools
-
verify the proposed control framework through formal verification techniques. Ideal candidate We are seeking highly motivated candidates with a strong background in control theory and practical experience
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions in Uk