Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- ;
- Technical University of Denmark
- Ludwig-Maximilians-Universität München •
- NTNU - Norwegian University of Science and Technology
- DAAD
- Leiden University
- Technical University of Munich
- University of Groningen
- ; University of Reading
- ; University of Warwick
- Aarhus University
- OsloMet
- University of Luxembourg
- University of Nottingham
- ; The University of Manchester
- ; University of Bristol
- ; University of Sussex
- Chalmers University of Technology
- Copenhagen Business School , CBS
- Dresden University of Technology •
- Duke University
- FEUP
- Leibniz
- Max Planck Institute for Molecular Genetics •
- Monash University
- RMIT University
- SciLifeLab
- Swinburne University of Technology
- The Norwegian School of Sport Sciences
- UNIVERSITY COLLEGE DUBLIN (UCD)
- Universitat pompeu fabra
- University of Adelaide
- University of Antwerp
- University of Basel
- University of Exeter
- University of Konstanz •
- University of Lund
- University of Massachusetts
- University of Münster •
- University of Regensburg •
- University of Stuttgart •
- University of Twente
- University of Tübingen
- VIB
- Wageningen University and Research Center
- 36 more »
- « less
-
Field
-
Research theme: Formal Methods How many positions: 1 This 3.5 year PhD is funded by the Department of Computer Science at The University of Manchester. The successful candidate will receive
-
Profile: We seek someone with strong mathematical maturity in control theory, dynamical systems, or applied mathematics. Familiarity with nonlinear systems analysis, graph theory, and formal methods (e.g
-
international backgrounds, BIPS’s research covers the full spectrum from methods development and identification of disease causes to prevention and implementation research. The work is supported by extensive
-
align with human values and preferences remains a critical challenge, particularly in sensitive domains such as healthcare, education, and governance. Current evaluation methods primarily rely
-
. The candidate will contribute to the development of empirically validated methods for identifying and mitigating such effects. The research will involve experimental studies, neurophysiological methods (e.g., eye
-
Planning, Henley Business School Supervisors: Dr Emma Street and Prof Gavin Parker Project Overview: Using a governance lens and participatory methods, this project involves local stakeholders and
-
Lorentzian manifolds through experimentation (Karin Melnick) - Representation-theoretic methods in algebraic geometry (Karin Melnick & Pieter Belmans) - Computational experiments with 3-dimensional hyperbolic
-
, lack of transparency, safety assurance, and sustainability. You will work at the forefront of AI research, exploring formal and dynamic verification methods, explainable AI, and data space integration
-
Engineering, Program Analysis and Formal Methods We constantly seek applications from qualified researchers regardless of their national origin or citizenship. The working language is English. A command of
-
Engineering, Program Analysis and Formal Methods We constantly seek applications from qualified researchers regardless of their national origin or citizenship. The working language is English. A command of