405 proof-checking-postdoc-computer-science-logic Postdoctoral positions in Netherlands
Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Delft University of Technology (TU Delft)
- University of Amsterdam (UvA)
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); yesterday published
- Eindhoven University of Technology (TU/e)
- Radboud University
- Utrecht University
- University of Groningen
- Leiden University
- Tilburg University
- European Space Agency
- University of Twente
- Wageningen University & Research
- Delft University of Technology (TU Delft); Published yesterday
- Eindhoven University of Technology (TU/e); today published
- Maastricht University (UM)
- University of Amsterdam (UvA); Published yesterday
- University of Twente (UT)
- Delft University of Technology (TU Delft); today published
- Erasmus University Rotterdam
- University of Amsterdam (UvA); Amsterdam
- Vrije Universiteit Amsterdam (VU)
- Amsterdam UMC
- Eindhoven University of Technology (TU/e); Eindhoven
- Erasmus University Rotterdam (EUR)
- Tilburg University; Tilburg
- University of Amsterdam (UvA); Published today
- University of Amsterdam (UvA); today published
- University of Twente (UT); Enschede
- Utrecht University; today published
- Wageningen University & Research; Published yesterday
- Wageningen University and Research Center
- Erasmus MC (University Medical Center Rotterdam)
- 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
- Amsterdam UMC; Published today
- Delft University of Technology (TU Delft); 16 Oct ’25 published
- Delft University of Technology (TU Delft); Published 11 Nov ’25
- Delft University of Technology (TU Delft); Published today
- Eindhoven University of Technology (TU/e); yesterday published
- Erasmus MC (University Medical Center Rotterdam); Published today
- KNAW
- Leiden University Medical Center (LUMC)
- Leiden University; Leiden
- Tilburg University; today published
- University Medical Center Utrecht (UMC Utrecht); Published today
- University of Amsterdam (UvA); 26 Sep ’25 published
- University of Groningen; Groningen
- University of Groningen; Published yesterday
- University of Twente (UT); Published yesterday
- Utrecht University; Utrecht
- Wageningen University & Research; Wageningen
- Wageningen University & Research; Published 31 Oct ’25
- Amsterdam UMC; Amsterdam
- Amsterdam UMC; 27 Sep ’25 published
- Amsterdam UMC; Published yesterday
- 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 21 Nov ’25
- 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 today
- Eindhoven University of Technology (TU/e); Published yesterday
- Erasmus MC (University Medical Center Rotterdam); Published yesterday
- Erasmus MC (University Medical Center Rotterdam); today published
- Erasmus University Rotterdam (EUR); today published
- Leiden University Medical Center (LUMC); Leiden
- Leiden University Medical Center (LUMC); yesterday published
- Leiden University; Published today
- Maastricht University (UM); Maastricht
- 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
- NIOZ Royal Netherlands Institute for Sea Research
- 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); 10 Oct ’25 published
- Radboud University Medical Center (Radboudumc); today published
- Radboud University; 3 Oct ’25 published
- Radboud University; Published yesterday
- 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
- Tilburg University; yesterday published
- 90 more »
- « less
-
Field
- Computer Science
- Biology
- Engineering
- Medical Sciences
- Economics
- Science
- Mathematics
- Chemistry
- Materials Science
- Law
- Psychology
- Earth Sciences
- Humanities
- Physics
- Social Sciences
- Electrical Engineering
- Environment
- Philosophy
- Education
- Linguistics
- Arts and Literature
- Business
- Sports and Recreation
- 13 more »
- « less
-
8 Nov 2025 Job Information Organisation/Company University of Amsterdam (UvA) Research Field Computer science » Informatics Sociology » Urban sociology Researcher Profile Recognised Researcher (R2
-
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
-
& 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
-
researchers and with members of the 3D Biology research programme at the Radboud university medical center. You will also collaborate closely with scientists at HUB Organoids who are running parallel programmes
-
applications. As a Postdoc candidate at TU Delft, working in close collaboration with a PhD student and our industrial partner Delmic and academic partner AMOLF, you will develop a proof-of-concept prototype
-
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
-
to model the interactions between roots, microbes, and minerals that govern these processes? We are looking for a postdoc within the NWA project “Harnessing root-microbe-mineral interactions for climate
-
have: PhD degree in Human-Computer Interaction, Urban Sciences, Disability Studies, or related interdisciplinary fields. Personal or professional experience of working with people and communities living
-
Postdoc Impact of Computational Infrastructures on Public Institutions and Administration of Justice
2 Sep 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Computer science » Informatics Political sciences » Public policy Sociology » Social shaping