1 proof-checking-postdoc-computer-science-logic 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 proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions