Senior Lecturer in Systems Security at the University of Manchester

The Department of Computer Science at the University of Manchester is the longest established department of computer science in the United Kingdom; in the most recent national research review (Research Excellence Framework), the department was rated 1st for research environment and in the top 5 for research quality. As part of significant ongoing investment, the department wishes to appoint an Associate Professor (Senior Lecturer) in Systems Security. The new appointment will complement existing world-class research in program analysis and automated reasoning.

Applicants should be computer scientists with a strong interest and track record in a relevant area of systems security, for example, cryptography, operating systems and virtualisation, distributed systems security, authentication, authorisation, and accountability. We also encourage applicants with a strong interest and track record in code and data integrity, malware analysis, integrity, trustworthiness, or privacy and anonymity. You will be a member of the Formal Methods Group with access to expertise in program analysis and automated reasoning methods. We are particularly interested in developing collaborations involving several groups within the department and wider University. For example, an exciting opportunity exists to work closely with the well-known advanced processor technologies group to study applications in massively parallel software and the Internet of Things. Thus, experience and interest in collaborative research are particularly welcome.

You should hold a relevant Ph.D. or equivalent, have an excellent international publication record in top security conferences (e.g., CCS, IEEE S&P (“Oakland”), USENIX Security). The applicants should show the capability of developing a portfolio of funded research activities in a multidisciplinary environment and have a strong commitment to excellence in teaching.

Enquiries about the vacancy, shortlisting and interviews: Dr. Lucas Cordeiro ( or Dr. Giles Reger (

This vacancy will close for applications at midnight on the closing date (30/04/2021).

Please see the link below for further information.