3 formal-method PhD scholarships 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 | 21 days ago

-generation into medical device software development processes. You will be trained to carry out research that combines software engineering, formal methods, and safety assurance. You are not expected to have

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

engineering, formal methods, and safety assurance. Prior experience in formal methods or medical regulation is not required. The project includes training, supervision, and gradual progression into research

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 | 22 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