308 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
- Delft University of Technology (TU Delft); yesterday published
- Leiden University
- University of Twente (UT)
- 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
- Eindhoven University of Technology (TU/e); today published
- Tilburg University; Tilburg
- University of Amsterdam (UvA); today published
- Erasmus University Rotterdam
- Leiden University; 's-Gravenhage
- Maastricht University (UM); yesterday published
- Max Planck Institute (MPI) for Psycholinguistics
- Utrecht University; Utrecht
- Utrecht University; today published
- Wageningen University & Research; today published
- Amsterdam UMC
- Delft University of Technology (TU Delft); today published
- Eindhoven University of Technology (TU/e); yesterday published
- Leiden University; Leiden
- Maastricht University (UM); Maastricht
- 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 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
- 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
- 72 more »
- « less
-
Field
- Computer Science
- Biology
- Engineering
- Economics
- Medical Sciences
- Science
- Materials Science
- Chemistry
- Law
- Mathematics
- Electrical Engineering
- Environment
- Humanities
- Psychology
- Social Sciences
- Earth Sciences
- Education
- Linguistics
- Physics
- Arts and Literature
- Philosophy
- Business
- Design
- Sports and Recreation
- 14 more »
- « less
-
between schools? This postdoc position is part of the research project "Educational logistics for secondary education" in which researchers work with schools in secondary education on developing new
-
Postdoctoral Researcher in Innovation&Investment Policy for Hydrogen Clusters in the EU(0.8-1.0 fte)
required to enable a successful hydrogen transition—including policies, infrastructure, technology, safety, economic incentives, and public acceptance. The postdoc will be embedded in a collaborative
-
8 Oct 2025 Job Information Organisation/Company University Medical Center Utrecht (UMC Utrecht) Research Field Computer science » Modelling tools Computer science » Programming Researcher Profile
-
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
-
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
-
, 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
-
The Computational Cognitive Science DCS) department performs cognitive and computational research in the domains of Artificial Intelligence and Cognitive Science and runs educational programs
-
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
-
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...
-
This is a full-time post-doctoral position (1.0 FTE), initially for 1.5 years, and will be embedded within the UMC Utrecht AI-Lab initiative. Your primary focus will be the development of AI models for defect detection and process optimization of tissue constructs (based on biomaterials and...