Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- Universidade de Coimbra
- University of Luxembourg
- NTNU - Norwegian University of Science and Technology
- Empa
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- CNRS
- FEUP
- Instituto Superior Técnico
- Ludwig-Maximilians-Universität München •
- NTNU Norwegian University of Science and Technology
- 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
- 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
- Monash University
- Technical University of Denmark
- 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
- 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)
- Eindhoven University of Technology (TU/e); yesterday published
- Erasmus University Rotterdam
- 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
- King's College London
- Leibniz
- Leiden University; Leiden
- Leipzig University •
- Linköping University
- Linköpings 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
- 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
- The Open Universiteit (OU)
- The Open Universiteit (OU); today published
- The University of Edinburgh
- Tilburg University
- UNIVERSITATEA DE MEDICINA SI FARMACIE IULIU HATIEGANU
- Universiteit van Amsterdam
- University of Adelaide
- University of Amsterdam (UvA)
- University of Birmingham
- University of Cambridge
- University of Groningen
- University of Iceland
- University of Konstanz •
- 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
- 81 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
-
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
-
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
-
. 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
-
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 years, with
-
3 Oct 2025 Job Information Organisation/Company Instituto de Engenharia Mecânica Research Field Engineering » Mechanical engineering Researcher Profile First Stage Researcher (R1) Positions PhD
-
navigate complex histories and promote peace – both regionally and globally. The PhD candidate will contribute to the JUSTIS-project and be a central member of the core research team. Added to the formal
-
well as programming to test out the methods and mathematical theory in experiments. (See example references [1,2,3] below for initial results.) During the PhD, you will initially work on a pre-specified subproject of
-
. Empa is a research institution of the ETH Domain. The Urban Energy Systems Laboratory (UESL) pioneers strategies, solutions, and methods to support the development of sustainable, resilient, and