329 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
- Utrecht University
- University of Groningen
- Eindhoven University of Technology (TU/e)
- University of Amsterdam (UvA)
- European Space Agency
- Delft University of Technology (TU Delft); yesterday published
- Radboud University
- Leiden University
- University of Twente (UT)
- Tilburg University
- University of Amsterdam (UvA); Amsterdam
- University of Twente
- Maastricht University (UM)
- University of Twente (UT); Enschede
- Wageningen University & Research
- Wageningen University and Research Center
- Delft University of Technology (TU Delft); today published
- Eindhoven University of Technology (TU/e); Eindhoven
- Eindhoven University of Technology (TU/e); today published
- Tilburg University; Tilburg
- University of Amsterdam (UvA); today published
- Utrecht University; today published
- Leiden University; 's-Gravenhage
- Maastricht University (UM); yesterday published
- Max Planck Institute (MPI) for Psycholinguistics
- Royal Netherlands Academy of Arts and Sciences (KNAW)
- Wageningen University & Research; today published
- Amsterdam UMC
- Delft University of Technology (TU Delft); 16 Oct ’25 published
- Eindhoven University of Technology (TU/e); yesterday published
- Erasmus University Rotterdam
- Leiden University; Leiden
- Maastricht University (UM); Maastricht
- NIOZ Royal Netherlands Institute for Sea Research
- Nature Careers
- Radboud University Medical Center (Radboudumc)
- Tilburg University; today published
- University Medical Center Utrecht (UMC Utrecht)
- University of Amsterdam (UvA); 26 Sep ’25 published
- University of Amsterdam (UvA); yesterday published
- University of Groningen; Groningen
- Utrecht University; Utrecht
- Vrije Universiteit Amsterdam (VU)
- Vrije Universiteit Amsterdam (VU); Amsterdam
- Wageningen University & Research; Wageningen
- AcademicTransfer
- Amsterdam UMC; Amsterdam
- Amsterdam UMC; 27 Sep ’25 published
- Amsterdam UMC; today published
- Amsterdam UMC; yesterday published
- 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); 16 Oct ’25 published
- Maastricht University (UM); 18 Oct ’25 published
- 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
- 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 Medical Center (Radboudumc); today published
- Radboud University; 3 Oct ’25 published
- Radboud University; today published
- Royal Netherlands Academy of Arts and Sciences (KNAW); Utrecht
- Royal Netherlands Academy of Arts and Sciences (KNAW); Wageningen
- Royal Netherlands Academy of Arts and Sciences (KNAW); 17 Oct ’25 published
- The Netherlands Cancer Institute
- The Netherlands Cancer Institute; Amsterdam
- Tilburg University; yesterday published
- University Medical Center Utrecht (UMC Utrecht); Utrecht
- University Medical Center Utrecht (UMC Utrecht); today published
- University Medical Center Utrecht (UMC Utrecht); yesterday published
- University of Groningen; 26 Sep ’25 published
- University of Twente (UT); today published
- University of Twente (UT); yesterday published
- Utrecht University; yesterday published
- 80 more »
- « less
-
Field
- Computer Science
- Engineering
- Biology
- Medical Sciences
- Science
- Economics
- Chemistry
- Materials Science
- Law
- Mathematics
- Humanities
- Electrical Engineering
- Environment
- Social Sciences
- Earth Sciences
- Education
- Linguistics
- Physics
- Psychology
- Arts and Literature
- Philosophy
- Business
- Design
- Sports and Recreation
- 14 more »
- « less
-
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
-
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
-
Bachelor or (Pre) Master Program. The School has approximately 2000 students and 250 employees. Tilburg School of Humanities and Digital Sciences
-
Postdoc position in Ocean Nanoplastics Faculty: Faculty of Geosciences Department: Department of Earth Sciences Hours per week: 36 to 40 Application deadline: 13 November 2025 Apply now The
-
transportation in the Netherlands. Job description Creating accessible and inclusive travel journeys is one of today’s most pressing societal challenges. Despite advances in policy and technology, people with
-
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...
-
23 Oct 2025 Job Information Organisation/Company Utrecht University Research Field Biological sciences Chemistry » Analytical chemistry Chemistry » Biochemistry Chemistry » Instrumental analysis
-
Postdoc position in High-Resolution Native (Single Molecule) Mass Spectrometry Faculty: Faculty of Science Department: Department of Pharmaceutical Sciences Hours per week: 36 to 40 Application
-
! Faculty of Electrical Engineering, Mathematics and Computer Science The Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) brings together three scientific disciplines. Combined
-
. 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