Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- University of Nottingham
- University of Warwick
- King's College London;
- Newcastle University
- The University of Manchester
- University of Birmingham
- ;
- University of East Anglia;
- University of Liverpool;
- University of Reading
- University of Sussex
- Cranfield University
- Liverpool Hope University;
- Oxford Brookes University
- Swansea University
- The University of Manchester;
- University of Bradford
- University of Bristol
- University of Cambridge
- University of Gloucestershire;
- University of Liverpool
- University of Newcastle
- University of Nottingham;
- University of Oxford
- University of Sheffield
- University of Strathclyde
- University of Surrey
- University of Surrey;
- University of Warwick;
- University of Westminster;
- 20 more »
- « less
-
Field
-
PhD studentship in Computer Science: From Formal Requirements to Specification-based Automated Testing for Safety-Critical Medical Device Software Certification Award Summary 100% fees covered, and
-
. This PhD project explores how formal requirements and automated testing can produce clear, traceable, regulator-ready evidence for medical device software certification. Part of the international PlaTFoRm
-
Jozwik lab studies visuo-semantic cognition combining cognitive science, neuroscience, and computational modelling. The lab's research has focused on probing specific visual dimensions in the context
-
promising tools for addressing these challenges. Large language models can help bridge communication gaps between subject experts, while knowledge graphs can capture complex semantic relationships and provide
-
that combine generative AI, reinforcement learning, and human-in-the-loop learning to enable robots to understand tasks at a semantic level and translate them into robust physical actions. You will join the
-
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
-
, and a stipend at standard rates for 3-3.5 years. Candidates are encouraged to make an informal inquiry with Dr Haoren Xiong. References: Xiong, H., Pseudodifferential operators with formal Gevrey
-
(MapAnything, VGGT) to infer 3D change from a much simpler sensing source – the humble camera. The project will pair this direction with fundamental research into multi-session visual SLAM and semantic
-
Lin first before submitting a formal application. Guidance and the application form are here: http://www.warwick.ac.uk/pgrengineering