Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Universidade de Coimbra
- University of Luxembourg
- 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
- Nature Careers
- CNRS
- Imperial College London;
- University of Bergen
- Faculdade de Medicina da Universidade do Porto
- Instituto Politécnico de Bragança
- UNINOVA - Instituto de Desenvolvimento de Novas Tecnologias
- University of Porto
- Aarhus University
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- Delft University of Technology (TU Delft)
- Empa
- FEUP
- Institute of Public Health University of Porto
- Technical University of Munich
- Universitat Autonoma de Barcelona
- University of Birmingham
- University of Southern Denmark
- University of Texas at El Paso
- University of Twente (UT)
- Catalan Institute of Nanoscience and Nanotechnology (ICN2)
- 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 Técnico
- Instituto Superior de Agronomia
- Instituto de Engenharia Mecânica
- KU LEUVEN
- Leibniz
- Leiden University
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- UNIVERSIDADE DE ÉVORA
- University of A Coruña
- University of Amsterdam (UvA); yesterday published
- University of Münster •
- University of Nottingham
- University of Oslo
- University of Warwick;
- Utrecht University
- Aix-Marseille Université
- CNR
- Charles University, Faculty of Social Sciences
- Computer Vision Center (CVC)
- 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)
- Erasmus University Rotterdam (EUR)
- European Magnetism Association EMA
- Faculty of Arts - University of Helsinki
- Fraunhofer Institute for Wind Energy Systems IWES
- Fraunhofer-Gesellschaft
- Hannover Medical School •
- INESC ID
- Instituto Português de Oncologia do Porto Francisco Gentil (IPO Porto)
- Instituto Superior de Engenharia do Porto
- KINGS COLLEGE LONDON
- Leibniz-Institut für Präventionsforschung und Epidemiologie – BIPS GmbH
- Leiden University; Leiden
- Leipzig University •
- Linköping University
- Linköpings universitet
- Ludwig-Maximilians-Universität München •
- Lunds universitet
- Luxembourg Institute of Science and Technology
- 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
- Max Planck Institute of Biochemistry, Martinsried
- Medical University of Lublin
- NATIONAL AND KAPODISTRIAN UNIVERSITY OF ATHENS
- National Laboratory of Energy and Geology
- Nova School of Business and Economics
- OsloMet
- Technical University of Denmark
- The CoReACTER (@ University College Dublin)
- 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å University
- Umeå universitet
- Universiteit van Amsterdam
- University of Adelaide
- University of Amsterdam (UvA)
- University of Birmingham;
- University of Bristol
- University of Denver
- University of Iceland
- 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
-
Computer Science, Mathematics, or related areas. • Strong background in at least one of the following: formal methods, SMT solving, abstract interpretation, or model checking. • Experience with verification tools
-
of food. The doctoral candidate is expected to master a range of methods and techniques to deliver this research, including online and in-person surveys, behavioural experiments, and advanced
-
inverse problems. The team aims at developing Bayesian computational methods for such (ill-posed) inverse problems and aims both at increasing their validity and at reducing their computational cost. In
-
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
-
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 to transform graphs
-
, public confidence, and safe deployment on public roads. There is a pressing need for interpretable, verifiable methods that bridge the gap between complex autonomous behaviour and established safety and
-
, biological and social factors, as well as early detection and drug safety. With about 200 employees from diverse international backgrounds, BIPS’s research covers the full spectrum from methods development and
-
Development of a numerical tool for assessing radon prevention and mitigation methods in energy-efficient new buildings and existing buildings A PhD position is available in the Department of Physics
-
Leibniz-Institut für Präventionsforschung und Epidemiologie – BIPS GmbH | Bremen, Bremen | Germany | 9 days ago
learning, data science and research data management, and causal inference methods (Iris Pigeot, Marvin Wright, Vanessa Didelez), and etiologic and molecular epidemiology (Konrad Stopsack, Krasimira