Sort by
Refine Your Search
-
Listed
-
Employer
- University of Twente (UT)
- Utrecht University
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); today published
- Leiden University
- University of Amsterdam (UvA); yesterday published
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); 3 Oct ’25 published
- Eindhoven University of Technology (TU/e)
- Eindhoven University of Technology (TU/e); yesterday published
- Erasmus University Rotterdam
- Leiden University; Leiden
- The Open Universiteit (OU)
- The Open Universiteit (OU); today published
- Tilburg University
- Universiteit van Amsterdam
- University of Amsterdam (UvA)
- University of Groningen
- Utrecht University; yesterday published
- 9 more »
- « less
-
Field
-
about tackling both deep research challenges and real-world software problems, this project is for you. Seeking a PhD student who values the strengths of formal reasoning while recognizing its current
-
a balanced mix of AI with formal methods and testing techniques, we strive to make vulnerability detection more accurate, intelligent, explainable, and usable in practice. The project is cutting-edge
-
Opportunity for two highly motivated PhD candidates to join the Ombion project! Your job The Ombion project, formally known as Centre for Animal-Free Biomedical Translation, is funded by
-
. dr. Harald Vranken and dr. Mina Sheikhalishahi) as well as formal methods and software testing (prof. dr. Tanja Vos and dr. Tim Steenvoorden). The PhD project will be carried out in close cooperation
-
well as programming to test out the methods and mathematical theory in experiments. (See example references [1,2,3] below for initial results.) During the PhD, you will initially work on a pre-specified subproject of
-
Opportunity for two highly motivated PhD candidates to join the Ombion project! Your job The Ombion project, formally known as Centre for Animal-Free Biomedical Translation, is funded by the National Growth
-
Graduate School of Business . At the start of the program, you will mainly receive extensive graduate-level training in theory and methods by taking several PhD-level courses. The course load amounts to 36
-
discrete-event systems, supervisory control theory, and formal methods to apply for the PhD position within the Supervisory Control group (see Group Supervisory Control ), which is part of the Control
-
motivated to do PhD research in mathematical machine learning, with special emphasis on mathematical foundations for explainable AI? If yes, the Korteweg-de Vries Institute for Mathematics at the University
-
the methods and mathematical theory in experiments. (See example references [1,2,3] below for initial results.) During the PhD, you will initially work on a pre-specified subproject of your choosing, which