Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Linköping University
- NTNU - Norwegian University of Science and Technology
- University of Nottingham
- Empa
- Institute of Low Temperature and Structure Research Polish Academy of Sciences
- NTNU Norwegian University of Science and Technology
- Erasmus University Rotterdam
- KU LEUVEN
- Nature Careers
- Newcastle University
- Norwegian University of Life Sciences (NMBU)
- Technical University of Munich
- Umeå University
- University of Oslo
- University of Warwick
- Utrecht University
- ;
- Aalborg University
- Aix-Marseille Université
- CNRS
- King's College London
- Queensland University of Technology
- The University of Manchester
- University of Amsterdam (UvA)
- University of Bergen
- University of Bologna
- University of Münster •
- University of South Bohemia
- Université Paris Cité
- Aarhus University
- COPENHAGEN BUSINESS SCHOOL
- Cancer Research Foundation of the University of Salamanca
- Centro Nacional de Investigaciones Cardiovasculares Carlos III F.S.P.
- Consiglio Nazionale delle Ricerche
- DAAD
- DIFFER
- Delft University of Technology (TU Delft)
- ESS - Escola Superior de Saúde
- Ecole Centrale de Lyon
- Eindhoven University of Technology (TU/e)
- Erasmus University Rotterdam (EUR)
- European Synchrotron Radiation Facility
- Faculdade de Ciências Sociais e Humanas
- Faculdade de Medicina da Universidade do Porto
- Hannover Medical School •
- INRIA
- ISCTE - Instituto Universitário de Lisboa
- Instituto Superior de Agronomia
- Instituto de Investigação e Inovação em Saúde da Universidade do Porto (i3S)
- Leibniz
- Leipzig University •
- Liverpool Hope University;
- Ludwig-Maximilians-Universität München •
- Lunds universitet
- Maastricht University (UM)
- Medical University of Gdańsk
- Monash University
- OsloMet
- Oxford Brookes University
- PHAETHON Centre of Excellence
- Poznan University of Technology
- Research Center Borstel - Leibniz Lung Center
- Swedish University of Agricultural Sciences
- Tallinn University of Technology
- The University of Newcastle
- UNIS
- UNIVERSIDADE DE ÉVORA
- Universidade Católica Portuguesa - Porto
- University of Aveiro
- University of Copenhagen
- University of Konstanz •
- University of Porto
- University of Potsdam •
- University of Regensburg •
- University of Southern Denmark
- University of Strathclyde
- University of Surrey
- University of Surrey;
- University of Twente (UT)
- University of Warwick;
- University of Westminster;
- Uppsala universitet
- 73 more »
- « less
-
Field
-
complementary and synergic methods at the intersection of Artificial intelligence, Machine learning, Numerical simulation, Formal verification. Such methods include, among the others: AI-guided simulation
-
Listen Published Tuesday 17 Mar 2026 Deadline Sunday 19 Apr 2026 Work area PhD Organisational unit Erasmus School of History, Culture and Communication (ESHCC) Salary € 3.059 - € 3.881 Employment 1
-
Degree Dr phil Course location Münster Teaching language German English Languages Courses are held in German (40%) and English (60%). PhD students can choose to write the dissertation in either
-
written English, ability to work both independently and collaboratively. Additional qualifications Experience or coursework in one or more of the following areas is considered an advantage: formal methods
-
the PhD thesis in either language, English or German. Full-time / part-time full-time Mode of study Hybrid Programme duration 6 semesters Beginning Only for doctoral programmes: any time Additional
-
established Systems Neuroimmunology Laboratory at LMU Munich (www.m-kaufmann.com ) is seeking a motivated and creative PhD candidate passionate about combining immunologic methods and advanced computational
-
team as a PhD candidate to work on beyond the state-of-the-art model distillation and robustness methods, enabling efficient, reliable inference for challenging real-world problems in the semiconductor
-
application! We are looking for a PhD student in Statistics and Machine Learning Your work assignments We are looking for a PhD candidate to work in the intersection of computational statistics and machine
-
hardware malfunctions. WP2 - Dynamic Validation Framework: This WP utilizes formal methods, specifically probabilistic model checking, to provide safety guarantees and verify AI behavior against constraints
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 2 months ago
1.309,64 €, being the payment method by Wire Transfer. Eligibility criteria Admission Requirements: To be enrolled at a PhD. Holders of a Master’s degree in Architecture. A minimum of two years of experience