Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- Delft University of Technology (TU Delft)
- Eindhoven University of Technology (TU/e); yesterday published
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); today published
- Delft University of Technology (TU Delft); yesterday published
- Eindhoven University of Technology (TU/e)
- Erasmus University Rotterdam
- The Open Universiteit (OU)
- The Open Universiteit (OU); today published
- University of Amsterdam (UvA); Published today
-
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
-
strong expertise in the application of artificial intelligence for cybersecurity (prof. dr. Harald Vranken and dr. Mina Sheikhalishahi) as well as formal methods and software testing (prof. dr. Tanja Vos
-
. 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
-
to have knowledge of discrete-event systems, and knowledge of or interest in learning about formal methods, in particular, the theory of Supervisory Controller Synthesis. PhD 4: AI-driven legacy system
-
Published Monday 3 Nov 2025 Deadline Thursday 15 Jan 2026 Work area PhD Organisational unit Rotterdam School of Management (RSM) Salary € 3.059 - € 3.881 Employment 1 fte - 1 fte Abstract
-
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
-
of the results to a broader audience of policy makers and society as a whole. Your experience and profile: Formal requirements: Applicants must have, or be close to obtaining, a PhD degree in Actuarial Science
-
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
-
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
-
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