Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Linköping University
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- Aalborg Universitet
- Aalborg University
- Eindhoven University of Technology (TU/e); yesterday published
- Faculdade de Medicina da Universidade do Porto
- KU LEUVEN
- University of Bergen
- University of Southern Denmark
- Computer Vision Center (CVC)
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); today published
- Eindhoven University of Technology (TU/e)
- Erasmus University Rotterdam
- Imperial College London;
- Instituto Superior de Agronomia
- Instituto de Engenharia Mecânica
- Linköpings universitet
- Nature Careers
- Technical University of Munich
- The CoReACTER (@ University College Dublin)
- The Open Universiteit (OU)
- The Open Universiteit (OU); today published
- The University of Manchester
- UNIVERSIDAD DE LAS PALMAS DE GRAN CANARIA
- Umeå University
- Umeå universitet
- Universitat Autonoma de Barcelona
- University of Iceland
- University of Luxembourg
- University of Salford;
- University of Sussex
- University of Sussex;
- Università degli Studi di Trieste
- Utrecht University
- 26 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
-
–based methods and software to assist physicians with: Disease classification Treatment decision support What-if analyses. Although the developed methods and software will be general-purpose, a special
-
? 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
-
aimed at developing novel Artificial Intelligence–based methods and software to assist physicians with: Disease classification Treatment decision support What-if analyses. Although the developed methods
-
candidate, you will develop methods that combine data-driven autonomy with formal safety guarantees and validate them in real time through simulation and experimental evaluation. The position is hosted
-
dynamic, crowded environments. As a PhD candidate, you will develop methods that combine data-driven autonomy with formal safety guarantees and validate them in real time through simulation and experimental
-
9 Dec 2025 Job Information Organisation/Company Instituto de Engenharia Mecânica Research Field Engineering » Mechanical engineering Researcher Profile First Stage Researcher (R1) Positions PhD
-
Analysis of vulnerabilities in low-resource language settings, and the effect of typological diversity on the security landscape in multilingual settings Formal semantic or symbolic methods for monitoring
-
world. We look forward to receiving your application! Your work assignments We are looking for a PhD student to work on the development of novel spatio-temporal machine learning methods. Our world is
-
application! Your work assignments We are looking for a PhD student to work on the development of novel spatio-temporal machine learning methods. Our world is inherently spatio-temporal, i.e. physical processes