-
a mathematically oriented area of computer science. Successful candidates will be supported in pursuing independent research programs in their own fields. The search is open to all areas of pure and
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions