384 proof-checking-postdoc-computer-science-logic Postdoctoral positions in Netherlands
Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Delft University of Technology (TU Delft)
- University of Amsterdam (UvA)
- Utrecht University
- Delft University of Technology (TU Delft); yesterday published
- Eindhoven University of Technology (TU/e)
- Delft University of Technology (TU Delft); Delft
- Leiden University
- Radboud University
- Tilburg University
- University of Groningen
- University of Twente (UT)
- European Space Agency
- University of Amsterdam (UvA); Published yesterday
- University of Twente
- Delft University of Technology (TU Delft); Published yesterday
- Eindhoven University of Technology (TU/e); today published
- Maastricht University (UM)
- Amsterdam UMC
- Delft University of Technology (TU Delft); today published
- Erasmus University Rotterdam
- Vrije Universiteit Amsterdam (VU)
- Wageningen University & Research
- Erasmus University Rotterdam (EUR)
- University of Amsterdam (UvA); Published today
- University of Amsterdam (UvA); today published
- Utrecht University; today published
- Wageningen University & Research; Published yesterday
- Wageningen University and Research Center
- Erasmus MC (University Medical Center Rotterdam)
- Maastricht University (UM); yesterday published
- Royal Netherlands Academy of Arts and Sciences (KNAW)
- University Medical Center Utrecht (UMC Utrecht)
- University of Amsterdam (UvA); Amsterdam
- University of Amsterdam (UvA); yesterday published
- University of Twente (UT); Enschede
- Wageningen University & Research; today published
- AcademicTransfer
- Amsterdam UMC; Published today
- Delft University of Technology (TU Delft); 16 Oct ’25 published
- Delft University of Technology (TU Delft); Published 11 Nov ’25
- Delft University of Technology (TU Delft); Published today
- Eindhoven University of Technology (TU/e); Eindhoven
- Eindhoven University of Technology (TU/e); Published yesterday
- Eindhoven University of Technology (TU/e); yesterday published
- Erasmus MC (University Medical Center Rotterdam); Published today
- KNAW
- Leiden University Medical Center (LUMC)
- Leiden University; Leiden
- Leiden University; Published today
- Nature Careers
- Tilburg University; today published
- University Medical Center Utrecht (UMC Utrecht); Published today
- University of Amsterdam (UvA); 26 Sep ’25 published
- University of Groningen; Published yesterday
- University of Twente (UT); Published yesterday
- Utrecht University; Utrecht
- Wageningen University & Research; Published 31 Oct ’25
- Amsterdam UMC; Amsterdam
- Amsterdam UMC; 27 Sep ’25 published
- Amsterdam UMC; Published yesterday
- Amsterdam UMC; today published
- Amsterdam UMC; yesterday published
- Amsterdam University Medical Center
- Delft University of Technology (TU Delft); 26 Sep ’25 published
- Delft University of Technology (TU Delft); Published 21 Nov ’25
- Eindhoven University of Technology (TU/e); 27 Sep ’25 published
- Eindhoven University of Technology (TU/e); 3 Oct ’25 published
- Eindhoven University of Technology (TU/e); Published 7 Nov ’25
- Eindhoven University of Technology (TU/e); Published today
- Erasmus MC (University Medical Center Rotterdam); Published yesterday
- Erasmus MC (University Medical Center Rotterdam); today published
- Erasmus University Rotterdam (EUR); today published
- Leiden University Medical Center (LUMC); Leiden
- Leiden University Medical Center (LUMC); yesterday published
- Leiden University; 's-Gravenhage
- Maastricht University (UM); Maastricht
- Maastricht University (UM); 16 Oct ’25 published
- Maastricht University (UM); 18 Oct ’25 published
- Maastricht University (UM); 26 Sep ’25 published
- Maastricht University (UM); Published today
- Max Planck Institute for Psycholinguistics
- Max Planck Institute for Psycholinguistics; today published
- Naturalis
- Naturalis; yesterday published
- Radboud University Medical Center (Radboudumc)
- Radboud University Medical Center (Radboudumc); 10 Oct ’25 published
- Radboud University Medical Center (Radboudumc); Published 5 Dec ’25
- Radboud University Medical Center (Radboudumc); today published
- Radboud University; 3 Oct ’25 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
- Tilburg University; Tilburg
- Tilburg University; yesterday published
- University Medical Center Utrecht (UMC Utrecht); Utrecht
- University Medical Center Utrecht (UMC Utrecht); Published yesterday
- University Medical Center Utrecht (UMC Utrecht); today published
- University Medical Center Utrecht (UMC Utrecht); yesterday published
- University Medical Centre Groningen (UMCG)
- 90 more »
- « less
-
Field
- Computer Science
- Engineering
- Biology
- Medical Sciences
- Science
- Economics
- Mathematics
- Chemistry
- Materials Science
- Law
- Earth Sciences
- Humanities
- Social Sciences
- Electrical Engineering
- Psychology
- Arts and Literature
- Environment
- Business
- Linguistics
- Physics
- Education
- Philosophy
- Sports and Recreation
- 13 more »
- « less
-
prevention, sustainability, and meaningful care, which we achieve through our in-depth understanding of disease mechanisms, clinical science, public health research, medical technology and data science. Our
-
The Mathematical Institute is looking for a postdoc to join the ERC project Enumerative and Arithmetic Geometry of Logarithmic Curves, working with David Holmes. What you will do Applications
-
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
-
& Research is the university and research centre for life sciences. The themes we deal with are relevant to everyone around the world and Wageningen, therefore, has a large international community and a lot to
-
degree in a relevant field (e.g., transportation, human-computer interaction, cognitive science, mechanical engineering, or related disciplines). Solid background in XR technologies and skills in
-
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
-
28 Oct 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Engineering » Materials engineering Engineering » Mechanical engineering Researcher Profile
-
Application Deadline 17 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 EU
-
an important function in the initiation of embryogenesis. The Team In this collaborative project, you as Postdoc will work together with a PhD candidate, and a part-time technician, to address different aspects
-
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...