2 proof-checking-postdoc-computer-science-logic PhD positions at Universiteit van Amsterdam in Netherlands
-
background: You should have a Master’s degree in mathematics or AI/computer science (with a strong mathematical component, including writing formal mathematical proofs), to be completed before the start of
-
internationally. • Participate in the Faculty of Science PhD training program. • Participate in the department’s educational programs, assisting in teaching and supervision of undergraduate or Master students
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions