2 proof-checking-postdoc-computer-science-logic PhD positions at The University of Edinburgh in Uk
-
of Edinburgh and will be jointly supervised by: Dr Dominik Leichtle, School of Informatics, University of Edinburgh Dr Elham Kashefi, School of Informatics, University of Edinburgh Dr Ivan Rungger, National
-
will be jointly supervised by: Dr Dominik Leichtle, School of Informatics, University of Edinburgh Dr Elham Kashefi, School of Informatics, University of Edinburgh Dr Theodoros Kapourniotis, National
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions in Uk