3 verification-computer-science 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 | 2 months 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 Computer Science - Dynamic Validation of AI Systems in Digital Twins: A Real-Time Safety Framework for Critical Infrastructure Resilience

Newcastle University | United Kingdom | 2 months ago

PhD studentship in Computer Science - Dynamic Validation of AI Systems in Digital Twins: A Real-Time Safety Framework for Critical Infrastructure Resilience Award Summary 100% fees covered, and a

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 | 3 months ago

, and motivated to improve workplace safety in healthcare technologies and to work across research, industry, and medical engineering. Methodology The overall aim of the project is to design and evaluate