1 formal-verification-computer-science Postdoctoral positions at University of Leicester
Sort by
Refine Your Search
-
two policy papers, and actively support the Network’s activities, including the Deterrence Futures Programme. Based in Leicester, the Fellow will be line-managed by Professor Andrew Futter and supported
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions