Sort by
Refine Your Search
-
Listed
-
Employer
- Leiden University
- University of Twente (UT)
- Delft University of Technology (TU Delft)
- 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
- Universiteit van Amsterdam
- University of Amsterdam (UvA)
- University of Amsterdam (UvA); yesterday published
- University of Groningen
- 6 more »
- « less
-
Field
-
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
-
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
-
Universiteit van Amsterdam, Korteweg - de Vries Institute for Mathematics Position ID: 1729-PHD [#27043] Position Title: Position Location: Amsterdam, Noord-Holland 1091, Netherlands (Kingdom
-
to study how exploratory behavior impacts perception! And design multisensory EXPLORA kits with your team to show the world what light and materials can do. Job description Two PhD projects (nrs 10 and 13
-
PhD projects (nrs 10 and 13) in the EU training network EXPLORA EXPLORA is a Marie Skłodowska-Curie doctoral network funded by the HORIZON 2020 framework. It will start on 1 February 2026, and within