1 proof-checking-postdoc-computer-science-logic Postdoctoral positions at University of Glasgow; in United Kingdom
Sort by
Refine Your Search
-
for Quantum Enabled Position Navigation and Timing (QEPNT), part of the UK’s flagship National Quantum Technology Programme. Working with Dr Kevin Gallacher and Professors Marc Sorel and Douglas Paul, the focus
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions