406 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 Amsterdam (UvA)
- Eindhoven University of Technology (TU/e)
- University of Groningen
- Delft University of Technology (TU Delft); yesterday published
- Utrecht University
- European Space Agency
- University of Twente
- Wageningen University and Research Center
- Leiden University
- Radboud University
- University of Twente (UT)
- Wageningen University & Research
- Tilburg University
- 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); Published today
- University of Amsterdam (UvA); Published yesterday
- University of Amsterdam (UvA); today published
- Utrecht University; today published
- Vrije Universiteit Amsterdam (VU)
- Wageningen University & Research; Published yesterday
- Amsterdam UMC
- Delft University of Technology (TU Delft); Published yesterday
- Leiden University; 's-Gravenhage
- Maastricht University (UM); yesterday published
- Max Planck Institute (MPI) for Psycholinguistics
- Royal Netherlands Academy of Arts and Sciences (KNAW)
- University Medical Center Utrecht (UMC Utrecht)
- University of Amsterdam (UvA); yesterday published
- Wageningen University & Research; today published
- AcademicTransfer
- Delft University of Technology (TU Delft); 16 Oct ’25 published
- Delft University of Technology (TU Delft); Published 11 Nov ’25
- Eindhoven University of Technology (TU/e); yesterday published
- Erasmus MC (University Medical Center Rotterdam)
- Leiden University Medical Center (LUMC)
- Leiden University; Leiden
- Maastricht University (UM); Maastricht
- NIOZ Royal Netherlands Institute for Sea Research
- Radboud University Medical Center (Radboudumc)
- Tilburg University; today published
- 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
- 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 7 Nov ’25
- Eindhoven University of Technology (TU/e); Published yesterday
- Erasmus MC (University Medical Center Rotterdam); Published today
- 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
- 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
- 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); Published today
- University Medical Center Utrecht (UMC Utrecht); today published
- University Medical Center Utrecht (UMC Utrecht); yesterday published
- 90 more »
- « less
-
Field
- Computer Science
- Biology
- Engineering
- Economics
- Medical Sciences
- Science
- Chemistry
- Materials Science
- Mathematics
- Law
- Earth Sciences
- Electrical Engineering
- Humanities
- Physics
- Psychology
- Environment
- Social Sciences
- Education
- Philosophy
- Arts and Literature
- Linguistics
- Business
- Design
- Sports and Recreation
- 14 more »
- « less
-
scalable, flexible, and sustainable building production. You will play a key role in connecting geometry, engineering, and manufacturing logics into a unified computational pipeline. BUILTWISE is an ongoing
-
24 Oct 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Computer science » Computer hardware Computer science » Digital systems Engineering
-
& Research is the university and research centre for life sciences. The themes we deal with are relevant to everyone around the world and Wageningen, therefore, has a large international community and a lot to
-
apply. Your application will receive fair consideration. Challenge. Change. Impact! Faculty of Electrical Engineering, Mathematics and Computer Science The Faculty of Electrical Engineering, Mathematics
-
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
-
). The postdoc project is organized around the theme “Individuals and Groups at Work” and the successful candidate will be part of the Work and Organizational Psychology program group. About the faculty: A
-
Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Job description The Postdoc position is in the area of probability theory
-
for this position, the following is required: PhD in a relevant field such as computer science, quantum physics, electronic engineering, data science, AI, machine learning, Earth system science, climate etc. with a
-
an important function in the initiation of embryogenesis. The Team In this collaborative project, you as Postdoc will work together with a PhD candidate, and a part-time technician, to address different aspects
-
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