304 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
- Delft University of Technology (TU Delft); yesterday published
- Radboud University
- 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
- Tilburg University; Tilburg
- University of Amsterdam (UvA); today published
- Eindhoven University of Technology (TU/e); 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
- 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
- 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
- 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; 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
- Science
- Medical Sciences
- Materials Science
- Chemistry
- Law
- Mathematics
- Electrical Engineering
- Psychology
- Environment
- Humanities
- Social Sciences
- Earth Sciences
- Education
- Linguistics
- Physics
- Arts and Literature
- Philosophy
- Business
- Design
- Sports and Recreation
- 14 more »
- « less
-
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...
-
, Linguistics and Media and Journalism Studies. For this role, we are looking for someone who: Has a PhD degree in any area related to the tasks (e.g. Computer Science, Digital Humanities, or Information Science
-
position of vulnerable groups in the rule of law, from the perspective of legal and administrative sciences. We operate in response to local, regional, national, and international developments, and
-
analogue processing? We have a vacancy for a postdoc position at the Laboratory of Food Process Engineering ! Will you join our team? What are you going to do? As postdoctoral researcher, you will be working
-
completed a PhD programme in Earth Sciences, Physics, Computational Science or a related discipline by the time the position starts. Preferably, you will also have: Experience in computational techniques