Sort by
Refine Your Search
-
Category
-
Employer
-
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
-
to software security, open-source software development and formal methods Work successfully in an inter-organisational team including industrial partners Disseminate the project results and present the research
-
approach is a method that is both formally rigorous and practically efficient for the verification/validation of quantum devices. Candidate’s profile Knowledge of quantum computing and an understanding
-
. The successful candidate will also have the opportunity and be expected to develop and conduct their own PhD research on how racism creates epistemic injustice and restricts formal and informal carers
-
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
-
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
-
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
-
, 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
-
will lead to natural collaboration opportunities. The primary methods used in this project will be experimental, involving fluid characterisation and high-speed imaging experiments, using Phantom high
-
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