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
- Copenhagen Business School , CBS
- OsloMet
- Radboud University
- University of Luxembourg
- University of Nottingham
- University of Tübingen
- ; The University of Manchester
- ; University of Bristol
- ; University of Sussex
- Aix-Marseille Université
- Chalmers University of Technology
- Dresden University of Technology •
- Duke University
- FEUP
- Instituto de Engenharia Mecânica
- Max Planck Institute for Molecular Genetics •
- Monash University
- Murdoch University
- NTNU Norwegian University of Science and Technology
- RMIT University
- SciLifeLab
- The Norwegian School of Sport Sciences
- UNIVERSITY COLLEGE DUBLIN (UCD)
- Universitat pompeu fabra
- University of Adelaide
- University of Antwerp
- University of Basel
- University of Bucharest
- University of Exeter
- University of Iceland
- University of Konstanz •
- University of Lund
- University of Massachusetts
- University of Münster •
- University of Regensburg •
- University of Stuttgart •
- University of Twente
- VIB
- Wageningen University and Research Center
- 41 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
-
. 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
-
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
-
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
-
degree in Engineering and have an interest in and/or a good understanding of numerical modelling and testing of structures. Prior knowledge of finite element methods and programming (e.g. C++, Python
-
five Dutch universities: the University of Twente, the University of Groningen, Leiden University, Radboud University, and Delft University. The Formal Methods and Tools (FMT) group at the University