-
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
-
that respects both user preferences and legal requirements. Your research will create it. What makes this different This isn't a typical PhD. Through structured industrial secondments (several weeks yearly
-
). Overview We are looking for PhD candidate to work with The National Hub for Decarbonised, Adaptable and Resilient Transport Infrastructures (DARe ), led by Newcastle University and is jointly funded by EPSRC