Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- NTNU - Norwegian University of Science and Technology
- Technical University of Denmark
- ;
- Ludwig-Maximilians-Universität München •
- DAAD
- Leiden University
- Technical University of Munich
- University of Groningen
- ; The University of Manchester
- ; University of Reading
- ; University of Warwick
- Aalborg University
- Aarhus University
- Chalmers University of Technology
- OsloMet
- University of Luxembourg
- University of Nottingham
- ; University of Bristol
- ; University of Sussex
- Dresden University of Technology •
- Duke University
- Leibniz
- Max Planck Institute for Molecular Genetics •
- Monash University
- Murdoch 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
-
least one of the following areas: formal methods, machine learning. Additional knowledge and experience within the following areas are appreciated: formal verification, deep learning, dynamical systems
-
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
-
the Computer Science study program. The stipend is open for appointment from August 1st 2025 or soon thereafter. The PhD students will be working on topics within the general areas of formal methods, model checking and
-
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
-
range. Also, FR3 band antenna arrays can be realized in energy and material-efficient manner by additive manufacturing methods, such as 3D printing. 3D printied antenna array will also be investigated as