Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- University of Luxembourg
- Nature Careers
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- CNRS
- Empa
- Instituto Superior Técnico
- University of Oslo
- University of Twente (UT)
- Utrecht University
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); today published
- Eindhoven University of Technology (TU/e); yesterday published
- Erasmus University Rotterdam
- Institute of Low Temperature and Structure Research Polish Academy of Sciences
- Instituto Superior de Agronomia
- Instituto de Engenharia Mecânica
- Leiden University
- Monash University
- Technical University of Munich
- UNIVERSIDADE DE ÉVORA
- Umeå University
- University of Amsterdam (UvA); yesterday published
- University of Münster •
- University of Southern Denmark
- University of Warwick;
- ; The University of Edinburgh
- Aarhus University
- Aix-Marseille Université
- CNR
- Chalmers University of Technology
- Danmarks Tekniske Universitet
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); 3 Oct ’25 published
- Eindhoven University of Technology (TU/e)
- FEUP
- Faculdade de Medicina da Universidade do Porto
- Faculty of Arts - University of Helsinki
- Fraunhofer Institute for Wind Energy Systems IWES
- Fraunhofer-Gesellschaft
- Hannover Medical School •
- INESC ID
- Instituto Politécnico de Bragança
- Leiden University; Leiden
- Leipzig University •
- Linköping University
- Linköpings universitet
- Ludwig-Maximilians-Universität München •
- Lunds universitet
- MF Norwegian School of Theology, Religion and Society
- Malmö universitet
- Max Planck Institute for Human Cognitive and Brain Sciences, Leipzig
- Max Planck Institute for the Study of Crime, Security and Law, Freiburg
- OsloMet
- Technical University of Denmark
- The Norwegian School of Sport Sciences
- The Open Universiteit (OU)
- The Open Universiteit (OU); today published
- The University of Edinburgh
- The University of Manchester
- Tilburg University
- UNIVERSITATEA DE MEDICINA SI FARMACIE IULIU HATIEGANU
- Umeå universitet
- Universiteit van Amsterdam
- University of Adelaide
- University of Amsterdam (UvA)
- University of Birmingham
- University of Groningen
- University of Iceland
- University of Konstanz •
- University of Lund
- University of Nottingham
- University of Potsdam •
- University of Reading
- University of Regensburg •
- University of Salford;
- Università degli Studi di Trieste
- Universität Heidelberg
- Université de Bordeaux - Laboratoire IMS
- Utrecht University; yesterday published
- 71 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
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 6 hours ago
allowance is €1 309,64, being the payment method an option of the Fellow by Wire Transfer/Check. Eligibility criteria Admission Requirements:To be enrolled in a PhD program. Selection process Selection
-
-quality educational programs in Computer Science, we are now seeking a PhD student with a focus on Neuro-Symbolic Graph Transformation. The Department of Computing Science has been growing rapidly in recent
-
a balanced mix of AI with formal methods and testing techniques, we strive to make vulnerability detection more accurate, intelligent, explainable, and usable in practice. The project is cutting-edge
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 6 days ago
an option of the Fellow by Wire Transfer/Check. Eligibility criteria Admission Requirements:To be enrolled at a PhD. Selection process Selection methods: The selection methods will be the following
-
. 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
-
University, is recognized for its expertise in artificial intelligence and formal methods In this stimulating academic context, we will focus on the problem of explainability of artificial intelligence models
-
Opportunity for two highly motivated PhD candidates to join the Ombion project! Your job The Ombion project, formally known as Centre for Animal-Free Biomedical Translation, is funded by
-
Stage Researcher (R1) Positions PhD Positions Country France Application Deadline 8 Nov 2025 - 23:59 (Europe/Paris) Type of Contract Temporary Job Status Full-time Offer Starting Date 1 Mar 2026 Is the