Formal Methods Researcher: Secure Open-Source Software

Newcastle University is seeking a Research Assistant/Associate in Formal Methods to join the Software Security Lab. This role focuses on developing formal solutions for secure open-source software development and offers the opportunity for independent research.

The position requires a PhD (or near completion) in formal methods or program analysis, and candidates should have strong analytical and problem-solving skills, along with programming experience.