Company: Newcastle University
Location: Newcastle upon Tyne
Job Description:
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.
#J-18808-Ljbffr…
Posted: July 9th, 2026