270 proof-checking-postdoc-computer-science-logic Postdoctoral positions in Netherlands
Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- University of Groningen
- Eindhoven University of Technology (TU/e)
- European Space Agency
- Utrecht University
- University of Amsterdam (UvA)
- Leiden University
- Radboud University
- University of Twente
- University of Twente (UT)
- University of Amsterdam (UvA); Amsterdam
- University of Twente (UT); Enschede
- Wageningen University & Research
- Delft University of Technology (TU Delft); yesterday published
- Eindhoven University of Technology (TU/e); Eindhoven
- Tilburg University
- Wageningen University and Research Center
- Maastricht University (UM)
- Tilburg University; Tilburg
- Erasmus University Rotterdam
- Leiden University; 's-Gravenhage
- Max Planck Institute (MPI) for Psycholinguistics
- University of Amsterdam (UvA); today published
- Utrecht University; Utrecht
- Amsterdam UMC
- CWI
- Eindhoven University of Technology (TU/e); today published
- Leiden University; Leiden
- Maastricht University (UM); Maastricht
- NIOZ Royal Netherlands Institute for Sea Research
- Radboud University Medical Center (Radboudumc)
- Royal Netherlands Academy of Arts and Sciences (KNAW)
- University of Amsterdam (UvA); 26 Sep ’25 published
- University of Groningen; Groningen
- Vrije Universiteit Amsterdam (VU)
- Vrije Universiteit Amsterdam (VU); Amsterdam
- Wageningen University & Research; Wageningen
- Amsterdam UMC; Amsterdam
- Amsterdam UMC; 27 Sep ’25 published
- Delft University of Technology (TU Delft); 26 Sep ’25 published
- Delft University of Technology (TU Delft); today published
- Eindhoven University of Technology (TU/e); 27 Sep ’25 published
- Eindhoven University of Technology (TU/e); 3 Oct ’25 published
- Erasmus University Rotterdam (EUR)
- Erasmus University Rotterdam (EUR); Rotterdam
- KNAW
- Leiden University Medical Center (LUMC)
- Leiden University Medical Center (LUMC); Leiden
- Maastricht University (UM); 26 Sep ’25 published
- Maastricht University (UM); yesterday published
- Max Planck Society; Munich
- Nature Careers
- Princess Máxima Center for Pediatric Oncology
- Princess Máxima Center for Pediatric Oncology; Utrecht
- Radboud University Medical Center (Radboudumc); Nijmegen
- Radboud University; 3 Oct ’25 published
- Royal Netherlands Academy of Arts and Sciences (KNAW); Utrecht
- Royal Netherlands Academy of Arts and Sciences (KNAW); Wageningen
- The Netherlands Cancer Institute
- The Netherlands Cancer Institute; Amsterdam
- Tilburg University; today published
- Tilburg University; yesterday published
- University Medical Center Utrecht (UMC Utrecht)
- University Medical Center Utrecht (UMC Utrecht); Utrecht
- University of Amsterdam (UvA); yesterday published
- University of Groningen; 26 Sep ’25 published
- University of Twente (UT); yesterday published
- Utrecht University; today published
- Wageningen University & Research; today published
- 60 more »
- « less
-
Field
- Computer Science
- Engineering
- Biology
- Economics
- Science
- Medical Sciences
- Chemistry
- Materials Science
- Law
- Mathematics
- Social Sciences
- Earth Sciences
- Education
- Electrical Engineering
- Environment
- Physics
- Humanities
- Philosophy
- Psychology
- Arts and Literature
- Business
- Design
- Sports and Recreation
- 13 more »
- « less
-
scalable, flexible, and sustainable building production. You will play a key role in connecting geometry, engineering, and manufacturing logics into a unified computational pipeline. BUILTWISE is an ongoing
-
funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Postdoc position in on-chip color center spectroscopy at QuTech. Job Description Are you
-
quantum computer and an intrinsically safe quantum internet. We are creating the quantum future, and we believe that quantum technology will be a game changer in many social and economic sectors – including
-
for this position, the following is required: PhD in a relevant field such as computer science, quantum physics, electronic engineering, data science, AI, machine learning, Earth system science, climate etc. with a
-
apply. Your application will receive fair consideration. Challenge. Change. Impact! Faculty of Electrical Engineering, Mathematics and Computer Science The Faculty of Electrical Engineering, Mathematics
-
Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Job description The Postdoc position is in the area of probability theory
-
translating natural language specification into a symbolic representation (e.g. knowledge graph (KG) or logic program) and a symbolic solver computing the solution. Another example is the generation
-
. Together we are working on a radical new technology with world-changing potential. We are developing scalable prototypes of a quantum computer and a secure quantum internet. We believe quantum technology
-
in connecting geometry, engineering, and manufacturing logics into a unified computational pipeline. BUILTWISE is an ongoing project with an established team and user committee. You will join this
-
Amsterdam UMC Research BV supports non-profit scientific research. In doing so, we provide researchers with everything they need to excel. Our principal investigators (PIs) and project leaders offer support in the field of project management, finance and human resources. In medical scientific...