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

). Additional project costs will also be provided. Overview Modern medical devices rely on software for safety-critical... of Formal Requirements), it involves UK and EU partners, including Newcastle University, D-RisQ Ltd, fortiss, and Verified...

Lugar: Newcastle | 22/01/2026 18:01:38 PM | Salario: S/. No Especificado | Empresa: Newcastle University
1