2 software-formal-method-phd PhD positions at Newcastle University

PhD studentship in Computer Science: From Formal Requirements to Specification-based Automated Testing for Safety-Critical Medical Device Software Certification

Newcastle University | United Kingdom | 15 days ago

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

PhD Studentship in School of Computing: From Formal Requirements to Specification-based Automated Testing for Safety-Critical Medical Device Software Certification

Newcastle University | Newcastle upon Tyne, England | United Kingdom | about 1 month ago

. 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