395 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)
- University of Groningen
- Eindhoven University of Technology (TU/e)
- Utrecht University
- Delft University of Technology (TU Delft); yesterday published
- European Space Agency
- Wageningen University and Research Center
- Radboud University
- 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); yesterday published
- Wageningen University & Research; today published
- Delft University of Technology (TU Delft); 16 Oct ’25 published
- 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 Amsterdam (UvA); Published yesterday
- 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 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
- 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
- 90 more »
- « less
-
Field
- Computer Science
- Engineering
- Biology
- 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
-
. Qualifications We are looking for a candidate with A PhD in Computer Science, Operations Research, Applied Mathematics, Mathematics, Engineering, or a related discipline. Strong programming experience, for example
-
with the chemical, flavor & food, medical and high-tech industries. Research is organized into four themes: Analytical Chemistry , Computational Chemistry , Synthesis & Catalysis and Molecular Photonics
-
or Biomedical sciences (preferably with insight in sustainability aspects of nutrition) with specialization or additional training in data science or strong background in Data Science, computer science with a
-
relevant information General interest in space and space research Behavioural competencies Education You should have recently completed, or be close to completion of a PhD in cyber security, computer science
-
: autonomous and fault-tolerant systems (including health monitoring systems), advanced guidance, control, estimation and optimisation techniques and tools, and the technology development of GNC sensors with a
-
Division, Quality Department, Directorate of Technology, Engineering and Quality. The Division provides PA&S functional support to ESA projects and technology developments and is also responsible
-
for this position, the following is required: PhD in systems engineering, computer science or informatics, and the subject of the thesis should be relevant to the task description provided above (e.g. digital twin
-
Postdoc in Recycling Plastic Waste via Mechanochemistry Faculty: Faculty of Science Department: Department of Chemistry Hours per week: 36 to 40 Application deadline: 26 September 2025 Apply now
-
30 Sep 2025 Job Information Organisation/Company Maastricht University (UM) Research Field Biological sciences » Nutritional sciences Computer science » Informatics Researcher Profile Recognised
-
); units such as onboard computers, mass memories, remote terminals and instrument control units*; digital and analogue signal processing electronics for payload/platform functions; front-end acquisition and