421 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 Amsterdam (UvA)
- Eindhoven University of Technology (TU/e)
- University of Groningen
- Utrecht University
- Delft University of Technology (TU Delft); yesterday published
- European Space Agency
- Radboud University
- University of Twente (UT)
- Leiden University
- Wageningen University & Research
- Tilburg University
- University of Twente
- Wageningen University and Research Center
- University of Amsterdam (UvA); Amsterdam
- Eindhoven University of Technology (TU/e); today published
- Maastricht University (UM)
- University of Twente (UT); Enschede
- Delft University of Technology (TU Delft); Published yesterday
- Delft University of Technology (TU Delft); today published
- Eindhoven University of Technology (TU/e); Eindhoven
- Erasmus University Rotterdam
- Erasmus University Rotterdam (EUR)
- Tilburg University; Tilburg
- University of Amsterdam (UvA); Published today
- University of Amsterdam (UvA); Published yesterday
- University of Amsterdam (UvA); today published
- Utrecht University; today published
- Vrije Universiteit Amsterdam (VU)
- Wageningen University & Research; Published yesterday
- Amsterdam UMC
- Leiden University; 's-Gravenhage
- Maastricht University (UM); yesterday published
- Max Planck Institute (MPI) for Psycholinguistics
- Royal Netherlands Academy of Arts and Sciences (KNAW)
- University Medical Center Utrecht (UMC Utrecht)
- University of Amsterdam (UvA); yesterday published
- Wageningen University & Research; today published
- AcademicTransfer
- 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); yesterday published
- Erasmus MC (University Medical Center Rotterdam)
- Leiden University Medical Center (LUMC)
- Leiden University; Leiden
- Maastricht University (UM); Maastricht
- NIOZ Royal Netherlands Institute for Sea Research
- Radboud University Medical Center (Radboudumc)
- The Netherlands Cancer Institute
- Tilburg University; today published
- University of Amsterdam (UvA); 26 Sep ’25 published
- University of Groningen; Groningen
- University of Twente (UT); Published yesterday
- Utrecht University; Utrecht
- Vrije Universiteit Amsterdam (VU); Amsterdam
- Wageningen University & Research; Wageningen
- Wageningen University & Research; Published 31 Oct ’25
- Amsterdam UMC; Amsterdam
- Amsterdam UMC; 27 Sep ’25 published
- Amsterdam UMC; Published today
- Amsterdam UMC; Published yesterday
- 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
- Eindhoven University of Technology (TU/e); Published 7 Nov ’25
- Eindhoven University of Technology (TU/e); Published yesterday
- Erasmus MC (University Medical Center Rotterdam); Published today
- Erasmus MC (University Medical Center Rotterdam); today published
- Erasmus University Rotterdam (EUR); Rotterdam
- Erasmus University Rotterdam (EUR); today published
- KNAW
- Leiden University Medical Center (LUMC); Leiden
- Leiden University Medical Center (LUMC); yesterday published
- 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
- 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 Medical Center (Radboudumc); today published
- Radboud University; 3 Oct ’25 published
- Radboud University; Published yesterday
- 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; Amsterdam
- Tilburg University; yesterday published
- University Medical Center Utrecht (UMC Utrecht); Utrecht
- 90 more »
- « less
-
Field
- Computer Science
- Engineering
- Biology
- Economics
- Medical Sciences
- Science
- Chemistry
- Materials Science
- Mathematics
- Law
- Psychology
- Earth Sciences
- Humanities
- Electrical Engineering
- Physics
- Environment
- Social Sciences
- Education
- Arts and Literature
- Linguistics
- Philosophy
- Business
- Design
- Sports and Recreation
- 14 more »
- « less
-
systems to match supply with fluctuating demand. Similarly, in inventory management, determining replenishment and allocation strategies under demand uncertainty is central to ensuring both efficiency and
-
by the Netherlands Organisation for Scientific Research (NWO) programme GroenvermogenNL. In Europe, the Netherlands ranks as the second-largest hydrogen producer. As it stands, the vast majority
-
The Computational Cognitive Science DCS) department performs cognitive and computational research in the domains of Artificial Intelligence and Cognitive Science and runs educational programs
-
8 Oct 2025 Job Information Organisation/Company University Medical Center Utrecht (UMC Utrecht) Research Field Computer science » Modelling tools Computer science » Programming Researcher Profile
-
Vacancies Post-Doc position: Knowledge for decision making on coastal sand nourishments Key takeaways This research position is part of the NWO-funded SOURCE program: Sand nOURisment strategies
-
, and how plausible memory models can predict diverse quantitative data in linguistics and cognitive science. The project has two components: an empirical one and a computational one. The empirical strand
-
quantitative data in linguistics and cognitive science. The project has two components: an empirical one and a computational one. The empirical strand develops and analyses behavioural experiments (reaction
-
19 Oct 2025 Job Information Organisation/Company Maastricht University (UM) Research Field Engineering » Chemical engineering Researcher Profile Recognised Researcher (R2) Country Netherlands
-
This research position is part of the NWO-funded SOURCE program: Sand nOURisment strategies for Sustainable Coastal Ecosystems . The SOURCE philosophy is that carefully planned sand nourishments in
-
Tilburg University is an academic, inclusive, and engaged community. Together with nearly 3,000 employees, we are committed to broad prosperity, sustainably, and inclusion. For current and future generations. We develop and share knowledge for the requirements of people and our society. This is...