Sort by
Refine Your Search
-
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
-
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
-
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
-
Applications are invited to undertake a three-year PhD programme in partnership with industry to address key challenges in manufacturing engineering. The successful candidate will be based