295 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
- Leiden University
- University of Twente (UT)
- University of Amsterdam (UvA); Amsterdam
- University of Twente
- University of Twente (UT); Enschede
- Wageningen University & Research
- Wageningen University and Research Center
- Delft University of Technology (TU Delft); yesterday published
- Eindhoven University of Technology (TU/e); Eindhoven
- Maastricht University (UM)
- Tilburg University
- Tilburg University; Tilburg
- University of Amsterdam (UvA); today published
- Delft University of Technology (TU Delft); today published
- Erasmus University Rotterdam
- Leiden University; 's-Gravenhage
- Max Planck Institute (MPI) for Psycholinguistics
- Utrecht University; Utrecht
- Amsterdam UMC
- Eindhoven University of Technology (TU/e); today published
- 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
- 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; 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; 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
- 69 more »
- « less
-
Field
- Computer Science
- Biology
- Engineering
- Economics
- Medical Sciences
- Science
- Chemistry
- Materials Science
- Law
- Mathematics
- Psychology
- Social Sciences
- Earth Sciences
- Education
- Electrical Engineering
- Environment
- Linguistics
- Physics
- Arts and Literature
- Humanities
- Philosophy
- Business
- Design
- Sports and Recreation
- 14 more »
- « less
-
translating natural language specification into a symbolic representation (e.g. knowledge graph (KG) or logic program) and a symbolic solver computing the solution. Another example is the generation
-
7 Oct 2025 Job Information Organisation/Company Erasmus MC (University Medical Center Rotterdam) Research Field Biological sciences » Biological engineering Biological sciences » Biology Computer science
-
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
-
goal-oriented mindset, and a passion for (scientific) challenges, you are the right person for us. Our lab develops technologies that integrate advanced imaging, computational analysis, and single-cell
-
Amsterdam UMC Research BV supports non-profit scientific research. In doing so, we provide researchers with everything they need to excel. Our principal investigators (PIs) and project leaders offer support in the field of project management, finance and human resources. In medical scientific...
-
. Together we are working on a radical new technology with world-changing potential. We are developing scalable prototypes of a quantum computer and a secure quantum internet. We believe quantum technology
-
in connecting geometry, engineering, and manufacturing logics into a unified computational pipeline. BUILTWISE is an ongoing project with an established team and user committee. You will join this
-
of a quantum computer and a secure quantum internet. We believe quantum technology will be a game changer in many social and economic sectors - including health, agriculture, climate, and security
-
close cooperation with the chemical, flavor & food, medical and high-tech industries. Research is organized into four themes: Analytical Chemistry , Computational Chemistry , Synthesis & Catalysis and
-
28 Sep 2025 Job Information Organisation/Company Eindhoven University of Technology (TU/e) Research Field Computer science Researcher Profile Recognised Researcher (R2) Country Netherlands