302 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
- Utrecht University
- Eindhoven University of Technology (TU/e)
- University of Amsterdam (UvA)
- European Space Agency
- Radboud University
- Leiden University
- University of Twente (UT)
- Delft University of Technology (TU Delft); yesterday published
- University of Amsterdam (UvA); Amsterdam
- University of Twente
- University of Twente (UT); Enschede
- Wageningen University & Research
- Eindhoven University of Technology (TU/e); Eindhoven
- Maastricht University (UM)
- Tilburg University
- Wageningen University and Research Center
- Tilburg University; Tilburg
- University of Amsterdam (UvA); today published
- Delft University of Technology (TU Delft); today published
- Eindhoven University of Technology (TU/e); today published
- Erasmus University Rotterdam
- Leiden University; 's-Gravenhage
- Max Planck Institute (MPI) for Psycholinguistics
- Utrecht University; Utrecht
- Utrecht University; today published
- Wageningen University & Research; today published
- Amsterdam UMC
- Eindhoven University of Technology (TU/e); yesterday published
- Leiden University; Leiden
- Maastricht University (UM); Maastricht
- Maastricht University (UM); yesterday published
- NIOZ Royal Netherlands Institute for Sea Research
- Radboud University Medical Center (Radboudumc)
- Royal Netherlands Academy of Arts and Sciences (KNAW)
- University Medical Center Utrecht (UMC Utrecht)
- University of Amsterdam (UvA); 26 Sep ’25 published
- University of Amsterdam (UvA); yesterday 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
- CWI
- Delft University of Technology (TU Delft); 26 Sep ’25 published
- Eindhoven University of Technology (TU/e); 27 Sep ’25 published
- Eindhoven University of Technology (TU/e); 3 Oct ’25 published
- Erasmus MC (University Medical Center Rotterdam)
- Erasmus MC (University Medical Center Rotterdam); today 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
- Max Planck Institute for Psycholinguistics
- Max Planck Institute for Psycholinguistics; today published
- Max Planck Society; Munich
- Naturalis
- Naturalis; yesterday published
- 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 Medical Center (Radboudumc); 10 Oct ’25 published
- Radboud University; 3 Oct ’25 published
- Radboud University; yesterday 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); Utrecht
- University Medical Center Utrecht (UMC Utrecht); yesterday published
- University of Groningen; 26 Sep ’25 published
- University of Twente (UT); yesterday published
- Utrecht University; yesterday published
- 71 more »
- « less
-
Field
- Computer Science
- Biology
- Engineering
- Economics
- Science
- Medical Sciences
- Materials Science
- Chemistry
- Law
- Mathematics
- Electrical Engineering
- Psychology
- Humanities
- Social Sciences
- Earth Sciences
- Education
- Environment
- Linguistics
- Physics
- Arts and Literature
- Philosophy
- Business
- Design
- Sports and Recreation
- 14 more »
- « less
-
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
-
! Faculty of Electrical Engineering, Mathematics and Computer Science The Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) brings together three scientific disciplines. Combined
-
organized into four themes: Analytical Chemistry , Computational Chemistry , Synthesis & Catalysis and Molecular Photonics . The Faculty of Science has a student body of around 8,000, as well as 1,800
-
7 Oct 2025 Job Information Organisation/Company Erasmus MC (University Medical Center Rotterdam) Research Field Biological sciences » Biological engineering Biological sciences » Biology Computer science
-
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...
-
. 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
-
goal-oriented mindset, and a passion for (scientific) challenges, you are the right person for us. Our lab develops technologies that integrate advanced imaging, computational analysis, and single-cell