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
- CNR
- 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;
- 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
-
PhD Position in AI and Data Science for Modelling and Analyzing Reading Text Faculty: Faculty of Science Department: Department of Information and Computing Sciences Hours per week: 36 to 40
-
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