87 proof-checking-postdoc-computer-science-logic Postdoctoral positions in Netherlands
Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
application but must be completed and defended no later than November 2025 (position start date is January 2026); PhD in political science, international relations, security studies, computer science, data
-
PhD degree in either machine learning or computational molecular sciences. Advanced knowledge in molecular machine learning. Advanced knowledge in computational chemistry. Advanced programming skills
-
-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
-
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
-
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
-
, Linguistics and Media and Journalism Studies. For this role, we are looking for someone who: Has a PhD degree in any area related to the tasks (e.g. Computer Science, Digital Humanities, or Information Science
-
The Faculty of Spatial Sciences is looking to appoint a postdoctoral researcher on the topic of regional innovation systems. The main responsibility will be to initiate and perform research
-
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