21 proof-checking-postdoc-computer-science-logic PhD positions at University of Amsterdam (UvA)
Sort by
Refine Your Search
-
and profile: Educational 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
-
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
-
17 Sep 2025 Job Information Organisation/Company University of Amsterdam (UvA) Research Field Computer science » Informatics Computer science » Programming Researcher Profile First Stage Researcher
-
7 Oct 2025 Job Information Organisation/Company University of Amsterdam (UvA) Research Field Computer science » Informatics Researcher Profile First Stage Researcher (R1) Country Netherlands
-
for quantum information science, quantum many-body physics, quantum sensing, precision measurement and atomic clocks. If you feel the profile fits you and you are interested in the job, we look forward
-
30 Sep 2025 Job Information Organisation/Company University of Amsterdam (UvA) Research Field Computer science » Informatics Computer science » Programming Researcher Profile First Stage Researcher
-
Netherlands Application Deadline 1 Dec 2025 - 22:59 (UTC) Type of Contract Temporary Job Status Not Applicable Hours Per Week 38.0 Is the job funded through the EU Research Framework Programme? Not funded by a
-
Netherlands Application Deadline 3 Nov 2025 - 22:59 (UTC) Type of Contract Temporary Job Status Not Applicable Hours Per Week 38.0 Is the job funded through the EU Research Framework Programme? Not funded by a
-
) Country Netherlands Application Deadline 16 Nov 2025 - 22:59 (UTC) Type of Contract Temporary Job Status Not Applicable Hours Per Week 38.0 Is the job funded through the EU Research Framework Programme? Not
-
programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Are you fascinated by the chemistry of the gut microbiome? Are you intrigued to learn more about how the