Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Bergen
- University of Luxembourg
- Nature Careers
- Umeå University
- University of Oslo
- CNR
- Chalmers University of Technology
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); today published
- Eindhoven University of Technology (TU/e)
- Eindhoven University of Technology (TU/e); yesterday published
- Institute of Public Health University of Porto
- KINGS COLLEGE LONDON
- King's College London
- Linköpings universitet
- Ludwig-Maximilians-Universität München •
- The Open Universiteit (OU)
- The Open Universiteit (OU); today published
- UNIVERSIDADE DE ÉVORA
- Universidade de Coimbra
- University of Cambridge
- University of Iceland
- University of Newcastle
- University of Porto
- University of Salford;
- Università degli Studi di Trieste
- 17 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
-
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
-
models in the form of prototypical software. About the position The position provides you with the opportunity to pursue PhD studies in Computing Science for four years, with the goal of achieving
-
methods. The successful Research Assistant will support the team and develop and conduct a PhD project within the remit of the workstream. Research priorities and questions will be co-produced with the NHS
-
the official date 01/11/2025, but unofficial preliminary contacts are encouraged. Salary will be 3200 euros per month net. The title of the PhD project in Trieste (DC7) is: "New Methods for Predicting Chiro
-
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
-
Interviews: 19 November 2025, University of Salford Registration: January 2026 Project Description This PhD complements two ongoing projects funded by the Academic Department of Military Rehabilitation and the
-
methods. The successful Research Assistant will support the team and develop and conduct a PhD project within the remit of the workstream. Research priorities and questions will be co-produced with the NHS
-
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