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
 - FEUP
 - Instituto Superior Técnico
 - University of Bergen
 - University of Birmingham
 - 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
 - Monash University
 - 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
 - Duke University
 - 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
 - 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
 - Tilburg University
 - UNIVERSITATEA DE MEDICINA SI FARMACIE IULIU HATIEGANU
 - Umeå universitet
 - Universiteit van Amsterdam
 - University of Adelaide
 - University of Amsterdam (UvA)
 - University of Denver
 - University of Florida
 - University of Groningen
 - University of Iceland
 - University of Kansas Medical Center
 - University of Konstanz •
 - University of Lund
 - University of Newcastle
 - University of Nottingham
 - University of Pittsburgh
 - University of Potsdam •
 - University of Reading
 - University of Regensburg •
 - University of Salford;
 - University of Stuttgart •
 - Università degli Studi di Trieste
 - Universität Heidelberg
 - Université de Bordeaux - Laboratoire IMS
 - Utrecht University; yesterday published
 - 90 more »
 - « less
 
 - 
                Field
 
- 
                
                
                
programming languages and formal methods. Strong software engineering skills. Curiosity and agility to understand and navigate new technologies when applicable. Has an inclusive mindset and values good
 - 
                
                
                
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
 - 
                
                
                
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
 - 
                
                
                
the department is available at: https://www.umu.se/en/department-of-computing-science/ Project description Graph transformation is a well-established theory that studies computational methods
 - 
                
                
                
minimizing the amounts of both false positives and false negatives. By combining static and dynamic analysis, using a balanced mix of AI with formal methods and testing techniques, we strive to make
 - 
                
                Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 6 days ago
of 36 months, including the duration of the initial contract. It is mandatory to formalize applications with the submission of the following documents: i) B1 Form – Fellowship application (https://ist
 - 
                
                Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 6 days 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
 - 
                
                Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 6 days ago
. It is mandatory to formalize applications with the submission of the following documents: i) B1 Form – Fellowship application (https://ist-id.pt/recursos-humanos/bolseiros/#documentos-relacionados
 - 
                
                
                
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
 - 
                
                
                
in Discontinuous Galerkin Finite Element Methods and the Julia programming language will admitted to the selection. Workplan and the objectives to achieve: This scholarship aims to advance a time