752 software-verification-computer-science-"TCAT-Jacksboro" PhD positions in Netherlands
Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Delft University of Technology (TU Delft)
- University of Groningen
- Utrecht University
- Eindhoven University of Technology (TU/e)
- Leiden University
- University of Amsterdam (UvA)
- Wageningen University & Research
- Delft University of Technology (TU Delft); yesterday published
- Maastricht University (UM)
- Erasmus University Rotterdam
- Radboud University
- Delft University of Technology (TU Delft); Delft
- University of Twente (UT)
- Vrije Universiteit Amsterdam (VU)
- Delft University of Technology (TU Delft); Published yesterday
- Wageningen University and Research Center
- Delft University of Technology (TU Delft); today published
- Eindhoven University of Technology (TU/e); yesterday published
- Erasmus University Rotterdam (EUR)
- Eindhoven University of Technology (TU/e); Eindhoven
- Royal Netherlands Academy of Arts and Sciences (KNAW)
- University of Twente
- Wetsus - European centre of excellence for sustainable water technology
- KNAW
- University Medical Center Utrecht (UMC Utrecht)
- University of Amsterdam (UvA); Amsterdam
- University of Amsterdam (UvA); yesterday published
- University of Groningen; Groningen
- University of Groningen; Published yesterday
- Eindhoven University of Technology (TU/e); Published today
- Leiden University; yesterday published
- Tilburg University
- Wageningen University & Research; Wageningen
- Wageningen University & Research; today published
- Eindhoven University of Technology (TU/e); today published
- Leiden University; Leiden
- Maastricht University (UM); Maastricht
- University of Twente (UT); Enschede
- Utrecht University; Utrecht
- Utrecht University; Published today
- Utrecht University; today published
- Vrije Universiteit Amsterdam (VU); Published today
- Amsterdam UMC
- Delft University of Technology (TU Delft); Published today
- Maastricht University (UM); yesterday published
- Radboud University Medical Center (Radboudumc)
- Utrecht University; Published yesterday
- CWI
- DIFFER
- Delft University of Technology (TU Delft); 17 Oct ’25 published
- Eindhoven University of Technology (TU/e); Published yesterday
- Leiden University; today published
- Maastricht University (UM); Published yesterday
- University Medical Centre Groningen (UMCG)
- University of Amsterdam (UvA); Published today
- University of Amsterdam (UvA); today published
- University of Groningen; yesterday published
- University of Twente (UT); Published today
- Wageningen University & Research; Published yesterday
- AMOLF
- DIFFER; Eindhoven
- Eindhoven University of Technology (TU/e); 4 Oct ’25 published
- Eindhoven University of Technology (TU/e); Published 7 Nov ’25
- Erasmus MC (University Medical Center Rotterdam)
- Erasmus University Rotterdam (EUR); Rotterdam
- Erasmus University Rotterdam (EUR); yesterday published
- Leiden University; 's-Gravenhage
- Maastricht University (UM); today published
- Radboud University Medical Center (Radboudumc); Nijmegen
- Radboud University; Nijmegen
- University Medical Center Utrecht (UMC Utrecht); Published yesterday
- University Medical Center Utrecht (UMC Utrecht); today published
- University Medical Centre Groningen (UMCG); Groningen
- University of Groningen; Published 28 Nov ’25
- University of Twente (UT); today published
- Vrije Universiteit Amsterdam (VU); Amsterdam
- Wageningen University & Research; yesterday published
- ARCNL
- AcademicTransfer
- Amsterdam UMC; Amsterdam
- Amsterdam UMC; today published
- Amsterdam UMC; yesterday published
- Centrum Wiskunde en Informatica (CWI); today published
- DIFFER; Published yesterday
- Delft University of Technology (TU Delft); 10 Oct ’25 published
- Delft University of Technology (TU Delft); 16 Oct ’25 published
- Delft University of Technology (TU Delft); 3 Oct ’25 published
- Delft University of Technology (TU Delft); Published 31 Oct ’25
- Eindhoven University of Technology
- Elestor BV
- Erasmus MC (University Medical Center Rotterdam); Published 3 Nov ’25
- Erasmus MC (University Medical Center Rotterdam); Published yesterday
- Erasmus MC (University Medical Center Rotterdam); yesterday published
- Erasmus University Rotterdam (EUR); Published today
- Leiden University Medical Center (LUMC)
- Leiden University Medical Center (LUMC); yesterday published
- Maastricht University (UM); 18 Oct ’25 published
- Maastricht University (UM); 26 Sep ’25 published
- Maastricht University (UM); 27 Sep ’25 published
- Maastricht University (UM); 3 Oct ’25 published
- 90 more »
- « less
-
Field
- Computer Science
- Economics
- Medical Sciences
- Biology
- Engineering
- Science
- Chemistry
- Mathematics
- Materials Science
- Humanities
- Arts and Literature
- Business
- Environment
- Social Sciences
- Earth Sciences
- Linguistics
- Psychology
- Electrical Engineering
- Law
- Design
- Education
- Physics
- Sports and Recreation
- Philosophy
- 14 more »
- « less
-
and Engineering, a 4-years PhD position is available at the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence with the topic of formal verification of distributed systems
-
6 Sep 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Computer science » Programming Computer science » Systems design Engineering » Control
-
project, you will explore the use of formal methods from computer science (program synthesis and probabilistic programming) and control systems analysis approaches to derive human understandable strategies
-
21 Nov 2025 Job Information Organisation/Company University of Amsterdam (UvA) Research Field Computer science » Informatics Computer science » Programming Researcher Profile First Stage Researcher
-
degree in Artificial Intelligence, Computer Science, Mathematics, or related discipline; A strong interest in developing creative solutions to advance hyperbolic deep learning; A background in machine
-
24 Nov 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Mathematics » Computational mathematics Physics » Applied physics Physics » Quantum
-
Are you passionate about working in an interdisciplinary and international team to explore the interface between computational models, complexity science, network science, and public health
-
7 Oct 2025 Job Information Organisation/Company The Open Universiteit (OU) Research Field Computer science » Cybernetics Computer science » Programming Researcher Profile First Stage Researcher (R1
-
We are offering a fully funded PhD position with a duration of four years for a motivated candidate eager to work at the intersection of cybersecurity, software engineering, and artificial
-
software development practice. SERG is known for its research on software testing, program analysis, mining software repositories, and empirical software engineering with close collaboration with industry