Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- ;
- DAAD
- ; The University of Manchester
- Cranfield University
- Monash University
- RMIT University
- Technical University of Munich
- University of Groningen
- Utrecht University
- Wageningen University and Research Center
- ; Swansea University
- CWI
- Chalmers University of Technology
- Ghent University
- Nature Careers
- Technical University of Denmark
- The University of Chicago
- The University of Iowa
- University of Bergen
- University of British Columbia
- ; Bangor University
- ; Cranfield University
- ; Loughborough University
- ; Max Planck Institute for Psycholinguistics
- ; University of Aarhus
- ; University of Birmingham
- ; University of Kent
- ; University of Sheffield
- AIT Austrian Institute of Technology
- Aalborg University
- CISPA (at University of Stuttgart)
- Curtin University
- ETH Zurich
- Erasmus University Rotterdam
- KNAW
- Leiden University
- Linköping University
- Max Planck Institute for Sustainable Materials •
- Murdoch University
- Norwegian Institute of International Affairs
- Purdue University
- Queensland University of Technology
- Swinburne University of Technology
- Umeå University
- University of Basel
- University of Bremen •
- University of Southern Denmark
- University of Twente
- University of Zurich Blockchain Center
- Uppsala University
- 40 more »
- « less
-
Field
-
to efficiently navigate high-dimensional decision spaces, leveraging open-source agent-based simulation tools to evaluate accessibility and environmental impacts of urban planning policies. You should have an MSc
-
. These frameworks will: Identify the causes and responsible agents of liveness breaches, and assess any resulting harm. Support recovery strategies using counterfactual reasoning (“what if?”), guiding programs back
-
to the following: Develop a comprehensive understanding of the oxidation kinetics and mechanisms using different oxidising agents. • Develop a comprehensive understanding of the leaching kinetics and
-
to reason about software (e.g., LLM agents for finding and fixing bugs) Static and dynamic program analysis (e.g., to infer specifications) Test input generation (e.g., to compare the behavior of old and new
-
. Examples of topics include algorithmic fairness in network analysis, developing network embedding frameworks for real-world network datasets or AI models based on agentic LLMs for simulating real-world
-
to reason about software (e.g., LLM agents for finding and fixing bugs)Static and dynamic program analysis (e.g., to infer specifications)Test input generation (e.g., to compare the behavior of old and new
-
supervisors. A wide variety of PhD projects is available; example project areas are: Human-machine teaming AI agents for air traffic control Weak signal analysis for air traffic control room situational
-
the form of, for example, agentic systems or other abstract AI-pipelines, but research has shown that existing frameworks are brittle. If successful, though, such systems can uncover high-value insights from
-
agents Jonathan Doucette Doctor of Philosophy in Physics (PhD) Probing Brain Tissue Microstructure with Magnetic Resonance Imaging through Bayesian Learning of Signal Dynamics Evelyn Arriagada Doctor
-
of vaccines and antiviral agents. These studies often involve interdisciplinary collaboration combining virological, veterinary, pathological, and immunological expertise. Your tasks will include: • Preparing