3 formal-method-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 | 18 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

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 | 19 days ago

hardware malfunctions. WP2 - Dynamic Validation Framework: This WP utilizes formal methods, specifically probabilistic model checking, to provide safety guarantees and verify AI behavior against constraints