1 proof-checking-postdoc-computer-science-logic PhD research jobs at Trinity College Dublin in Ireland
Sort by
Refine Your Search
-
also of growing interest to industry.Project supervisor: Dr. Eoin Delaney (Trinity College Dublin).Project locations: School of Computer Science and Statistics, Trinity College Dublin.PhD structure
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions