Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- NTNU - Norwegian University of Science and Technology
- University of Luxembourg
- NTNU Norwegian University of Science and Technology
- Utrecht University
- Imperial College London;
- Nature Careers
- CNRS
- Instituto Politécnico de Bragança
- University of Bergen
- Empa
- Erasmus University Rotterdam
- Faculdade de Medicina da Universidade do Porto
- Linköping University
- Technical University of Munich
- Universitat Autonoma de Barcelona
- University of Nottingham
- University of Southern Denmark
- University of Twente (UT)
- Aalborg University
- Aarhus University
- Catalan Institute of Nanoscience and Nanotechnology (ICN2)
- 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 (EUR)
- Institute of Low Temperature and Structure Research Polish Academy of Sciences
- Instituto Superior de Agronomia
- Instituto de Engenharia Mecânica
- KU LEUVEN
- Leiden University
- The University of Manchester
- University of Amsterdam (UvA)
- University of Amsterdam (UvA); yesterday published
- University of Münster •
- Aalborg Universitet
- Aix-Marseille Université
- Charles University, Faculty of Social Sciences
- Computer Vision Center (CVC)
- Danmarks Tekniske Universitet
- Delft University of Technology (TU Delft); 3 Oct ’25 published
- Eindhoven University of Technology (TU/e)
- European Magnetism Association EMA
- Fraunhofer Institute for Wind Energy Systems IWES
- Fraunhofer-Gesellschaft
- Hannover Medical School •
- INESC ID
- Instituto Superior Técnico
- Leibniz
- Leibniz-Institut für Präventionsforschung und Epidemiologie – BIPS GmbH
- Leipzig University •
- Linköpings universitet
- Ludwig-Maximilians-Universität München •
- Lunds universitet
- Luxembourg Institute of Science and Technology
- 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
- NATIONAL AND KAPODISTRIAN UNIVERSITY OF ATHENS
- OsloMet
- Sveriges Lantbruksuniversitet
- Swedish University of Agricultural Sciences
- 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 Manchester;
- Tilburg University
- UNIVERSIDAD DE LAS PALMAS DE GRAN CANARIA
- UNIVERSITATEA DE MEDICINA SI FARMACIE IULIU HATIEGANU
- Umeå University
- Umeå universitet
- Universiteit van Amsterdam
- University of Adelaide
- University of Birmingham
- University of Birmingham;
- University of Bristol
- University of Iceland
- University of Konstanz •
- University of Ljubljana, Faculty of Mechanical Engineering
- University of Lund
- University of Oxford
- University of Oxford;
- University of Potsdam •
- University of Reading
- University of Reading;
- University of Regensburg •
- University of Salford;
- University of Surrey
- University of Sussex
- University of Sussex;
- University of Warwick;
- Università degli Studi di Trieste
- Universität Heidelberg
- Utrecht University; yesterday published
- noma de Barcelona
- 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
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 21 hours ago
of the monthly maintenance allowance is € 1309,64, being the payment method by Wire Transfer Eligibility criteria Admission Requirements:To be enrolled at a PhD. Selection process Selection methods: The selection
-
? 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
-
of Artificial intelligence, Machine learning, Numerical simulation, Formal verification. Such methods include, among the others: AI-guided simulation of the mathematical models of the patho-physiology and PK/PD
-
, nonlinear dynamical systems, robotics, and formal methods to develop principled models and algorithms for distributed decision-making in complex and uncertain environments. Your research The candidate will
-
This PhD is part of the The Fusion Engineering Centre for Doctoral Training (CDT), at the University of Nottingham and has industrial collaboration, being co-supervised by a member of staff at
-
Leibniz-Institut für Präventionsforschung und Epidemiologie – BIPS GmbH | Bremen, Bremen | Germany | 23 days ago
component of the PhD program. PhD students will begin the program as a cohort and undergo onboarding together. A team of two senior scientists and two doctoral students formally represents the interests
-
complements the research component of the PhD program. PhD students will begin the program as a cohort and undergo onboarding together. A team of two senior scientists and two doctoral students formally
-
approximation algorithm, using linear programming methods. Over the next years, the project will grow to a collaborate team of 4-5 PhD students and Postdocs. The successful candidate will work directly with the
-
SD- 26053 PHD IN ULTRA-FAST MACHINE-LEARNING INTERATOMIC POTENTIALS FOR NANOINDENTATION OF TIC MA...
PhD candidate to develop and apply ultra-fast machine-learning interatomic potentials (UFPs, Xie et al., npj Comput. Mater., 2023, 10.1038/s41524-023-01092-7 ) for long, multi-million-atom molecular