-
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
-
accountably. This is where you come in. Your mission Working at the intersection of privacy research and real-world engineering, you'll design and build a computational stewardship engine—an autonomous agent
-
and adapting existing simulation models of transport systems and development of methods for resilience analysis. The PhD project will suit students from any quantified background, including engineering