3 proof-checking-postdoc-computer-science-logic PhD research jobs at Technical University of Denmark
-
understanding of various phenomena? Then a PhD in mathematics at DTU Compute is the ideal place for you.We seek an ambitious and highly motivated PhD candidate with a strong background and interest in mathematics
-
, religion or ethnic background are encouraged to apply. As DTU works with research in critical technology, which is subject to special rules for security and export control, open-source background checks may
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions