Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- University of Bergen
- University of Luxembourg
- Eindhoven University of Technology (TU/e); yesterday published
- Nature Careers
- Umeå University
- University of Newcastle
- 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)
- Erasmus University Rotterdam
- Imperial College London;
- Institute of Public Health University of Porto
- Instituto Superior de Agronomia
- KINGS COLLEGE LONDON
- Linköpings universitet
- Technical University of Munich
- The Open Universiteit (OU)
- The Open Universiteit (OU); today published
- The University of Manchester
- UNIVERSIDADE DE ÉVORA
- Umeå universitet
- Universidade de Coimbra
- University of Iceland
- University of Porto
- University of Salford;
- Università degli Studi di Trieste
- Warsaw University of Technology - Centre for Credible AI
- 23 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
-
? No Offer Description We have two exciting PhD positions at the intersection of formal software verification and Large Language Model (LLM) safety, focusing on extending state-of-the-art logic-based
-
are utilised in the computation. You will be part of the Nektar++ group and will be contributing towards the development of this advanced C++ software framework. The PhD will provide you with training and
-
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
-
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
-
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
-
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
-
06.11.2025, Wissenschaftliches Personal About the PhD Researcher Position We are looking to hire a PhD researcher to join our team and work on two main projects in an international context. PhD