3 proof-checking-postdoc-computer-science-logic PhD scholarships at University of Amsterdam (UvA) in Netherlands
Sort by
Refine Your Search
-
Faber and others. Using this we will develop a new simplicial type theory. Your profile MSc degree (or equivalent) in a relevant discipline, such as Mathematics, Logic, or Theoretical Computer Science
-
23 Aug 2025 Job Information Organisation/Company University of Amsterdam (UvA) Research Field Computer science » Informatics Computer science » Programming Engineering » Biomedical engineering
-
meetings; participate in the Faculty of Science PhD training program; assist in teaching Bachelor and Master’s students; co-supervise and interact with junior scientists (technicians, MSc/BSc students). What
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions