422 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
- Delft University of Technology (TU Delft); yesterday published
- Utrecht University
- European Space Agency
- Radboud University
- University of Twente (UT)
- Leiden University
- Tilburg University
- University of Twente
- Wageningen University and Research Center
- University of Amsterdam (UvA); Amsterdam
- Wageningen University & Research
- Delft University of Technology (TU Delft); Published yesterday
- Eindhoven University of Technology (TU/e); today published
- Maastricht University (UM)
- University of Twente (UT); Enschede
- Delft University of Technology (TU Delft); today published
- Eindhoven University of Technology (TU/e); Eindhoven
- Erasmus University Rotterdam
- University of Amsterdam (UvA); Published yesterday
- Erasmus University Rotterdam (EUR)
- Tilburg University; Tilburg
- University of Amsterdam (UvA); Published today
- 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)
- KNAW
- 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); Published yesterday
- Erasmus MC (University Medical Center Rotterdam); today published
- Erasmus University Rotterdam (EUR); Rotterdam
- Erasmus University Rotterdam (EUR); today published
- Leiden University Medical Center (LUMC); Leiden
- Leiden University Medical Center (LUMC); yesterday published
- Leiden University; Published today
- 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
- 90 more »
- « less
-
Field
- Computer Science
- Biology
- Engineering
- Economics
- Medical Sciences
- Science
- Chemistry
- Mathematics
- Materials Science
- 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
-
transformation of energy planning towards climate neutrality), funded through the Biodiversa+ programme, brings together leading universities and research institutes from across Europe to identify pathways
-
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