Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- University of Nottingham
- University of Warwick
- Newcastle University
- The University of Manchester
- ;
- King's College London;
- Liverpool Hope University;
- Oxford Brookes University
- University of Newcastle
- University of Sheffield
- University of Strathclyde
- University of Surrey
- University of Surrey;
- University of Warwick;
- University of Westminster;
- 5 more »
- « less
-
Field
-
verified using myriad methods. These verification approaches range from extensive testing and simulation through to formal proofs of correctness. When used in a corroborative fashion, the results
-
This PhD offers a unique opportunity to work at the intersection of formal methods, control engineering, and cybersecurity within the high-stakes environment of aerospace propulsion. You will be a
-
Funding for: UK Students Research area and project description: Develop scalable acoustic methods to structure advanced polymer composites for lightweight, low‑carbon technologies. This PhD explores
-
of the academic staff within CVL. What are we looking for? You are highly motivated, self-driven, and curious to advance use-inspired artificial intelligence methods. You bring along your enthusiasm
-
Robertson and Dr Hance’s UKRI Cross Research Council Responsive Mode Grant Quantum Emotions: Using the Quantum Formalism to explain temporal order effects in memory for emotional events. This project involves
-
to undertake continuous personal and professional development. The potential to communicate ideas and findings, verbally and in writing, clearly and effectively. An understanding of relevant research methods
-
continuous personal and professional development. The potential to communicate ideas and findings, verbally and in writing, clearly and effectively. An understanding of relevant research methods. How to apply
-
or participant privacy. Several of the most active research frontiers in this field include: Certified unlearning with formal guarantees — developing methods with provable erasure bounds, connecting
-
engineering, formal methods, and safety assurance. Prior experience in formal methods or medical regulation is not required. The project includes training, supervision, and gradual progression into research
-
-generation into medical device software development processes. You will be trained to carry out research that combines software engineering, formal methods, and safety assurance. You are not expected to have