396 proof-checking-postdoc-computer-science-logic Postdoctoral research jobs in Netherlands
Sort by
Refine Your Search
-
Listed
-
Employer
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- University of Amsterdam (UvA)
- University of Groningen
- Eindhoven University of Technology (TU/e)
- Utrecht University
- Delft University of Technology (TU Delft); yesterday published
- European Space Agency
- Radboud University
- Wageningen University and Research Center
- Leiden University
- University of Twente
- 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); 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); Published yesterday
- University of Amsterdam (UvA); yesterday published
- Wageningen University & Research; today published
- Delft University of Technology (TU Delft); 16 Oct ’25 published
- Eindhoven University of Technology (TU/e); Published yesterday
- 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 Amsterdam (UvA); Published today
- 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
- 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
- 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
- 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); Published today
- 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
- 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
- Linguistics
- Philosophy
- Arts and Literature
- 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
-
Systems (MAS) Department of the Faculty of Technology, Policy and Management. Our team includes around 70 researchers, from PhD candidates to postdocs and senior staff, with backgrounds spanning the social
-
ACTIVATE investigates the social, environmental, and behavioural factors that influence children’s and youth’s mobility choices through a social-ecological lens. The project explores how built environments, mobility policies, interpersonal relationships (e.g., peers and parents), and personal...
-
core of cutting-edge physics and engineering of high-tech instruments, of the use of the most advanced computing techniques, and of a very close link to real-life applications. Job requirements We
-
The Control Systems Group at the Electrical Engineering Department in Eindhoven University of Technology is seeking applications for a postdoctoral researcher for 1 FTE for 2 years to contribute
-
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...
-
using a local high performance computing cluster. You will work closely with experts in ALS, bioinformatics, neuroscience and RNA biology. You will support in the supervision of more junior researchers
-
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
-
; The postdoc will also be involved in teaching (10%-30% of your time) in our bachelor and master programs Educational Sciences and Educational Psychology, and supervision of Bachelor and Master students. Job
-
performance computing is an advantage. Prior lab experience in genomics / tissue analyses is an advantage but not required(eg NGS library preparations, tissue sectioning, qPCR, smFISH). For further details