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
- Eindhoven University of Technology (TU/e); yesterday published
- Faculdade de Medicina da Universidade do Porto
- KU LEUVEN
- University of Bergen
- 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
- 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
- 27 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
-
–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
-
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