-
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
-
used. AI methods for generating regulatory hypotheses between genes, hormones and physical properties will also be developed. Applicants must have/be close to obtaining a PhD or MPhil in Computational
-
used. AI methods for generating regulatory hypotheses between genes, hormones and physical properties will also be developed. Applicants must have/be close to obtaining a PhD or MPhil in Computational
-
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
-
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
-
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 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
-
PhD Studentship (UK fees only) in Real Estate and Planning Project title: The governance of local active travel infrastructures: a participatory research project. Department/School: Real Estate and
-
PhD Studentship in Applied Health Research Project: Kidney disease and haemodialysis: Understanding the patient experience to improve treatment. Supervisors: Dr Amelia Hollywood and Dr Sam Bizley
-
, 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