94 proof-checking-postdoc-computer-science-logic Postdoctoral positions in Netherlands
Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- University of Groningen
- Utrecht University
- European Space Agency
- Leiden University
- Radboud University
- AcademicTransfer
- Erasmus University Rotterdam
- Wageningen University and Research Center
- University of Twente
- KNAW
- Amsterdam UMC
- CWI
- Delft University of Technology (TU Delft)
- Nature Careers
- Qutech
- Universiteit van Amsterdam
- 6 more »
- « less
-
Field
-
scientific trends and results, as input to the strategic planning of the Agency. The team entered the field of computer science and applied mathematics in 2004, performing research related to discrete
-
, Utrecht University, and contributes to cutting-edge research on spatial reasoning, semantic technologies, and interdisciplinary AI for geosciences. Your qualities A PhD in Computer Science, Artificial
-
relevant discipline (e.g., data science, computer science, engineering science, artificial intelligence, or health science/psychology with specialization or additional training in data science); Demonstrable
-
Qutech, Qubit Research Division Position ID: Qutech -Qubit Research Division -POSTDOCS [#29910, 2061] Position Title: Position Type: Postdoctoral Position Location: Delft, Zuid-Holland 2628 CJ
-
-world environments will require rigorous testing and validation. Portability and Performance: Balancing the need for lightweight portability with the computational demands of high-fidelity simulations is
-
Published Tuesday 20 May 2025 Deadline Wednesday 11 Jun 2025 Work area Academic staff Organisational unit Erasmus School of Social and Behavioural Sciences (ESSB) Salary € 4.537 - € 6.209 Employment
-
cooperate on RO1 and RO3 with two other postdoc researchers, one specialized in Human-Computer Interactions an Twente University (working on RO3) and another specialized in human rights and technology policy
-
Diabetes2Care a consortium around Diavantis B.V. has set of to develop an app that enables people with type 2 diabetes to take control and more responsibility for their own health. The Discret Technology and
-
of obstructive respiratory events during sleep can be used personalized event-driven intervention and therapy efficiency monitoring. Within this interdisciplinary project, the Discrete Technology and Production
-
Naturalis is looking for a postdoc in AI for Ultrasonic Bioacoustic Monitoring! About Naturalis Naturalis Biodiversity Center in Leiden is the Dutch national research institute for biodiversity and