13 proof-checking-postdoc-computer-science-logic PhD positions at University of Amsterdam (UvA) in Netherlands
Sort by
Refine Your Search
-
relevant discipline, such as Computer Science, AI, Mathematics, Logic, or Economics. You also should possess: good writing and presentation skills; good social and organisational skills; full professional
-
psychology, AI, computational modeling and psychometrics. We have an active lab with weekly lab meetings and we also join the monthly lab meetings with other PhD students and postdocs associated with the A.D
-
28 Feb 2026 Job Information Organisation/Company University of Amsterdam (UvA) Research Field Computer science » Informatics Computer science » Programming Researcher Profile First Stage Researcher
-
performing state-of -the art atomic physics experiments and developing quantum technology. We will develop a new platform for quantum computing, based on qudits encoded in 173Yb+ ions. Yb+ ions are used in
-
16 Jan 2026 Job Information Organisation/Company University of Amsterdam (UvA) Research Field Computer science » Informatics Computer science » Programming Neurosciences » Neuroinformatics
-
29 Jan 2026 Job Information Organisation/Company University of Amsterdam (UvA) Research Field Engineering » Biomedical engineering Engineering » Simulation engineering Neurosciences » Neurobiology
-
investigate and utilize fascinating phenomena in quantum physics. We are particularly interested in developing novel platforms for quantum information science, quantum many-body physics, quantum sensing, and
-
Deadline 31 Mar 2026 - 21:59 (UTC) Country Netherlands 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
-
7 Jan 2026 Job Information Organisation/Company University of Amsterdam (UvA) Research Field Computer science » Informatics Computer science » Programming Researcher Profile First Stage Researcher
-
close cooperation with the chemical, flavor & food, medical and high-tech industries. Research is organized into four themes: Analytical Chemistry , Computational Chemistry , Synthesis & Catalysis and