We have an open postdoc position in the context of the EPSRC research project TRUSTED<https://trusted-ssd.github.io/TRUSTED/> at Newcastle University, UK. The role involves designing and developing theories and tools with solid foundations for secure open-source software development. The developed solutions will protect against software supply chain attacks, where attackers compromise any steps in the software development process by deliberately incorporating vulnerabilities to be triggered at a later stage of the software life cycle.
Applicants should have a PhD awarded or nearing completion in an area related to (software) security, formal methods, program analysis, or software engineering. The successful candidate will join the AMBER<https://www.ncl.ac.uk/computing/research/amber/> group, engaged in modelling and verification research at the School of Computing. We have been accredited by the National Cyber Security Center (NCSC) and the Engineering and Physical Sciences Research Council (EPSRC) as an Academic Center of Excellence in Cyber Security Research (ACE-CSR), one of the few accredited centers of excellence in the UK. The position is available on a full-time basis for a period of 24 months from start date (with possibility of extension). To submit your application, please follow this link<https://jobs.ncl.ac.uk/job/Research-AssistantResearch-Associate-in-Software-Security-and-Formal-Analysis/947591201/> or contact Narges Khakpour at narges.khakp...@newcastle.ac.uk<mailto:narges.khakp...@newcastle.ac.uk>. We will continue accepting applications until we find a suitable candidate. Please feel free to reach out by email, if the submission system is closed.
