308 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
- Delft University of Technology (TU Delft); yesterday published
- 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
- Eindhoven University of Technology (TU/e); today published
- Tilburg University; Tilburg
- University of Amsterdam (UvA); 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
- Delft University of Technology (TU Delft); today published
- 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
- 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 Medical Center (Radboudumc); today published
- Radboud University; 3 Oct ’25 published
- Radboud University; today 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
- 72 more »
- « less
-
Field
- Computer Science
- Biology
- Engineering
- Economics
- Medical Sciences
- Science
- Materials Science
- Chemistry
- Law
- Mathematics
- Electrical Engineering
- Environment
- Humanities
- Psychology
- Social Sciences
- Earth Sciences
- Education
- Linguistics
- Physics
- Arts and Literature
- Philosophy
- Business
- Design
- Sports and Recreation
- 14 more »
- « less
-
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
-
Livable Urban Spaces” under the EU Driving Urban Transitions (DUT2024) program. The project is led by Eindhoven University of Technology (TU/e), has consortium partners from Austria, France, Switzerland
-
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
-
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
-
apply. Your application will receive fair consideration. Challenge. Change. Impact! Faculty of Electrical Engineering, Mathematics and Computer Science The Faculty of Electrical Engineering, Mathematics
-
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
-
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
-
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
-
! Faculty of Electrical Engineering, Mathematics and Computer Science The Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) brings together three scientific disciplines. Combined
-
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...