Sort by
Refine Your Search
-
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
-
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
-
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
-
in inks, surfactants added to crop sprays to improve jetting, wetting, adhesion, and bodily fluids with polymeric components. This PhD project aims to explore how such additives affect micromechanics
-
Discipline: Engineering & Technology, Civil Engineering Qualification: Doctor of Philosophy in Engineering (PhD) Eligibility: All qualified candidates (both UK and International students) Award
-
Fully-funded PhD Studentship: Adaptive Mesh Refinement for More Efficient Predictions of Wall Boiling Bubble Dynamics This exciting opportunity is based within the Fluids and Thermal Engineering