Sort by
Refine Your Search
-
Listed
-
Employer
- University of Twente (UT)
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); today published
- Leiden University
- Utrecht University
- 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 Amsterdam (UvA); yesterday published
- University of Groningen
- 8 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
-
. 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
-
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
-
, the Netherlands, we have a vacancy for a PhD student. The project will focus on the production and characterization of new and sustainable membranes. Membranes play a critical role in the production of safe
-
control synthesis methods. We invite highly motivated students with a strong background in discrete-event systems, supervisory control theory, and formal methods to apply for the PhD position within
-
systems, resulting in two functional demonstrators Rigorous performance evaluation under various conditions, including static and dynamic characterization For this project, the PhD candidate will spend 6