Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Bergen
- Linköping University
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- Eindhoven University of Technology (TU/e); yesterday published
- Faculdade de Medicina da Universidade do Porto
- Institute of Public Health University of Porto
- KU LEUVEN
- Nature Careers
- University of Southern Denmark
- Aalborg Universitet
- Aalborg University
- 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
- KINGS COLLEGE LONDON
- Linköpings universitet
- Luxembourg Institute of Science and Technology
- 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
- Universidade de Coimbra
- Universitat Autonoma de Barcelona
- University of Iceland
- University of Luxembourg
- University of Newcastle
- University of Salford;
- University of Sussex
- University of Sussex;
- University of Texas at El Paso
- Università degli Studi di Trieste
- Utrecht University
- Warsaw University of Technology - Centre for Credible AI
- 33 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
-
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
-
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
-
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
-
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
-
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
-
settings Formal semantic or symbolic methods for monitoring, evaluating, and improving LLM robustness. The positions are embedded in an active and rapidly growing research environment, including ongoing
-
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
-
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