2 software-verification 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

on software for safety-critical functions like life support, monitoring, and decision-making. They must comply with strict regulations (e.g., IEC 62304, ISO14971) that require trial-based safety assessments