299 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
- Leiden University
- Radboud University
- University of Twente (UT)
- Delft University of Technology (TU Delft); yesterday published
- University of Amsterdam (UvA); Amsterdam
- University of Twente
- University of Twente (UT); Enschede
- Wageningen University & Research
- Wageningen University and Research Center
- Eindhoven University of Technology (TU/e); Eindhoven
- Maastricht University (UM)
- Tilburg University
- Eindhoven University of Technology (TU/e); today published
- Tilburg University; Tilburg
- University of Amsterdam (UvA); today published
- Erasmus University Rotterdam
- Leiden University; 's-Gravenhage
- Max Planck Institute (MPI) for Psycholinguistics
- Utrecht University; Utrecht
- Amsterdam UMC
- Leiden University; Leiden
- Maastricht University (UM); Maastricht
- Maastricht University (UM); yesterday published
- 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
- Utrecht University; today published
- Vrije Universiteit Amsterdam (VU)
- Vrije Universiteit Amsterdam (VU); Amsterdam
- Wageningen University & Research; Wageningen
- Wageningen University & Research; today published
- Amsterdam UMC; Amsterdam
- Amsterdam UMC; 27 Sep ’25 published
- CWI
- Delft University of Technology (TU Delft); 26 Sep ’25 published
- Delft University of Technology (TU Delft); today 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); yesterday 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); yesterday published
- Radboud University; 3 Oct ’25 published
- Radboud University; yesterday 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
- 71 more »
- « less
-
Field
- Computer Science
- Biology
- Engineering
- Economics
- Medical Sciences
- Science
- Materials Science
- Chemistry
- Law
- Mathematics
- Electrical Engineering
- Psychology
- Social Sciences
- Earth Sciences
- Education
- Environment
- Linguistics
- Physics
- Arts and Literature
- Humanities
- 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
-
8 Oct 2025 Job Information Organisation/Company University Medical Center Utrecht (UMC Utrecht) Research Field Computer science » Modelling tools Computer science » Programming Researcher Profile
-
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
-
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
-
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
-
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...