Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- Universidade de Coimbra
- University of Luxembourg
- NTNU - Norwegian University of Science and Technology
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- NTNU Norwegian University of Science and Technology
- Empa
- CNRS
- FEUP
- Instituto Superior Técnico
- 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 A Coruña
- 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); today published
- 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
- Leibniz
- Leiden University; Leiden
- Leipzig University •
- Linköping University
- Linköpings universitet
- Ludwig-Maximilians-Universität München •
- 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
- 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 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
- 82 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
-
-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 | about 11 hours 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
-
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
-
. 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
-
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
-
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
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 12 hours ago
Admission Requirements:To be enrolled at a PhD. Selection process Selection methods: The selection methods will be the following: Curriculum evaluation and an optional interview for the top three candidates
-
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
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 1 day ago
the computational complexity of routing problems, new exact and heuristic algorithms will also be developed, based on decomposition methods and metaheuristics, ensuring high-quality approximate solutions within a