2 verification-computer-science PhD positions at The University of Manchester in United Kingdom
-
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
-
between reliability, performance, computational efficiency, and adaptability under uncertainty. The candidate will be affiliated with CRADLE (Center for Robotic Autonomy in Demanding and Long-Lasting
Searches related to verification computer science
Enter an email to receive alerts for verification-computer-science positions