Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- University of Luxembourg
- Universidade de Coimbra
- 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
- University of Birmingham
- FEUP
- Instituto Superior Técnico
- Technical University of Munich
- University of Bergen
- University of Oslo
- University of Porto
- University of Twente (UT)
- Utrecht University
- Aarhus 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
- Institute of Public Health University of Porto
- Instituto Superior de Agronomia
- Instituto Superior de Engenharia do Porto
- Instituto de Engenharia Mecânica
- Leiden University
- Malmö universitet
- UNIVERSIDADE DE ÉVORA
- Umeå University
- University of A Coruña
- University of Amsterdam (UvA); yesterday published
- University of Münster •
- University of Southern Denmark
- University of Warwick;
- ; The University of Edinburgh
- Aix-Marseille Université
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- 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)
- Faculdade de Medicina da Universidade do Porto
- Faculty of Arts - University of Helsinki
- Faculty of Sciences of the University of Porto
- Fraunhofer Institute for Wind Energy Systems IWES
- Fraunhofer-Gesellschaft
- Hannover Medical School •
- INESC ID
- Instituto Politécnico de Bragança
- KINGS COLLEGE LONDON
- Leibniz
- 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
- Max Planck Institute for Human Cognitive and Brain Sciences, Leipzig
- Max Planck Institute for the Study of Crime, Security and Law, Freiburg
- Max Planck Institute of Biochemistry, Martinsried
- Monash University
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- National Laboratory of Energy and Geology
- Nova School of Business and Economics
- OsloMet
- REQUIMTE - Rede de Quimica e Tecnologia
- 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 Groningen
- University of Iceland
- University of Konstanz •
- University of Lund
- University of Newcastle
- 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
- Warsaw University of Technology - Centre for Credible AI
- 88 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
-
Applications are invited for a funded PhD studentship, supervised by Prof Andrew Dove (School of Chemistry) at the University of Birmingham (group website: http://www.dovegrouplab.com ). The project
-
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
-
-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
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 2 days 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
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 8 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