1 formal-methods "https:" PhD positions at Newcastle University

Sort by: relevance | listed |

Enter an email to receive alerts for formal-methods "https:" positions

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

Enter an email to receive alerts for formal-methods "https:" positions