Research Assistant/Associate in Formal Methods

The Role

We are seeking a highly motivated researcher to join the Software Security Lab at School of Computing, Newcastle University as a Research Associate/Assistant in Formal Methods. This is an exciting opportunity to contribute to cutting-edge research at the intersection of formal methods, program analysis, and software security.

Open-source software development has become an increasingly popular practice. Today's software systems comprise first-party code and third-party dependencies built through a complex supply chain process involving different individuals, organisations, and tools. An attacker can compromise any step in the process by deliberately incorporating vulnerabilities into the code to be triggered at a later stage of the software life cycle.

The focus of this role is to develop formal solutions for secure open-source software development to protect against software supply chain attacks where third-party code is released along wi...