379 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)
 - Delft University of Technology (TU Delft); yesterday published
 - European Space Agency
 - Radboud University
 - Wageningen University and Research Center
 - Leiden University
 - University of Twente (UT)
 - Wageningen University & Research
 - Tilburg University
 - University of Twente
 - 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); today published
 - Eindhoven University of Technology (TU/e); Eindhoven
 - Erasmus University Rotterdam
 - Erasmus University Rotterdam (EUR)
 - Tilburg University; Tilburg
 - 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 of Amsterdam (UvA); yesterday published
 - Wageningen University & Research; today published
 - Delft University of Technology (TU Delft); 16 Oct ’25 published
 - Delft University of Technology (TU Delft); Published yesterday
 - Eindhoven University of Technology (TU/e); yesterday published
 - Leiden University Medical Center (LUMC)
 - Leiden University; Leiden
 - Maastricht University (UM); Maastricht
 - NIOZ Royal Netherlands Institute for Sea Research
 - Nature Careers
 - Radboud University Medical Center (Radboudumc)
 - Tilburg University; today published
 - University Medical Center Utrecht (UMC Utrecht)
 - University of Amsterdam (UvA); 26 Sep ’25 published
 - University of Groningen; Groningen
 - Utrecht University; Utrecht
 - Vrije Universiteit Amsterdam (VU); Amsterdam
 - Wageningen University & Research; Wageningen
 - Wageningen University & Research; Published 31 Oct ’25
 - AcademicTransfer
 - Amsterdam UMC; Amsterdam
 - Amsterdam UMC; 27 Sep ’25 published
 - Amsterdam UMC; Published today
 - Amsterdam UMC; today published
 - Amsterdam UMC; yesterday published
 - Delft University of Technology (TU Delft); 26 Sep ’25 published
 - Delft University of Technology (TU Delft); Published today
 - 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 yesterday
 - Erasmus MC (University Medical Center Rotterdam)
 - 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
 - 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 today
 - 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
 - The Netherlands Cancer Institute; Amsterdam
 - Tilburg University; yesterday published
 - University Medical Center Utrecht (UMC Utrecht); Utrecht
 - University Medical Center Utrecht (UMC Utrecht); today published
 - University Medical Center Utrecht (UMC Utrecht); yesterday published
 - University Medical Centre Groningen (UMCG); Published today
 - University of Groningen; 26 Sep ’25 published
 - University of Twente (UT); today published
 - University of Twente (UT); yesterday published
 - Utrecht University; Published today
 - 90 more »
 - « less
 
 - 
                Field
- Computer Science
 - Engineering
 - Biology
 - Economics
 - Medical Sciences
 - Science
 - Chemistry
 - Materials Science
 - Law
 - Mathematics
 - Earth Sciences
 - Electrical Engineering
 - Humanities
 - Psychology
 - Environment
 - Social Sciences
 - Education
 - Linguistics
 - Philosophy
 - Physics
 - Arts and Literature
 - Business
 - Design
 - Sports and Recreation
 - 14 more »
 - « less
 
 
- 
                
                
                
quantum computer and an intrinsically safe quantum internet. We are creating the quantum future, and we believe that quantum technology will be a game changer in many social and economic sectors – including
 - 
                
                
                
29 Oct 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Engineering » Civil engineering Engineering » Simulation engineering Researcher Profile
 - 
                
                
                
sustainability problems in their social and economic context. IVM’s research community works within four departments: Environmental Economics; Environmental Geography, Environmental Policy Analysis; and Water and
 - 
                
                
                
operators, and industry stakeholders to ensure that your results feed directly into city-level planning and policy. Your home base will be the Decision Science for Mobility Lab and the hEART Lab , both part
 - 
                
                
                
24 Sep 2025 Job Information Organisation/Company Amsterdam UMC Research Field Medical sciences » Medicine Researcher Profile Recognised Researcher (R2) Country Netherlands Application Deadline 6 Oct
 - 
                
                
                
prevention, sustainability, and meaningful care, which we achieve through our in-depth understanding of disease mechanisms, clinical science, public health research, medical technology and data science. Our
 - 
                
                
                
degree in a relevant field (e.g., transportation, human-computer interaction, cognitive science, mechanical engineering, or related disciplines). Solid background in XR technologies and skills in
 - 
                
                
                
and employs 700 staff. Education is organised into six programme clusters: Psychology; Artificial Intelligence; Pedagogical Sciences and Educational Sciences; Communication Science; Sociology; and
 - 
                
                
                
24 Oct 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Computer science » Computer hardware Computer science » Digital systems Engineering
 - 
                
                
                
organized into four themes: Analytical Chemistry , Computational Chemistry , Synthesis & Catalysis and Molecular Photonics . The Faculty of Science has a student body of around 8,000, as well as 1,800