Lecturer in Program Analysis and Cyber Security

Job Reference : S&E-011964
Location : Oxford Road, Manchester
Closing Date (DD-MM-YYYY) : 11/06/2018
Salary : £39,324 - £48,327 per annum, depending on experience
Employment Type : Permanent
Faculty / Organisational Unit : Science & Engineering
Division : Computer Science
Hours Per week : Full Time
Contract Duration :

The School of Computer Science at the University of Manchester is the longest established school of computer science in the United Kingdom; in the most recent national research review (Research Excellence Framework), the school was rated 1st for research environment and in the top 5 for research quality.  As part of a major ongoing investment, the school wishes to appoint a Lecturer in Formal Methods and Cyber Security. You will complement existing world-class research in automated reasoning.
Applicants should be computer scientists with a strong interest and track record in a relevant area of formal methods, for example model checking, abstract interpretation, symbolic computation, program synthesis, static and dynamic analysis, deductive verification, formal approaches to software engineering and testing, interactive theorem proving, logic, specification languages, type theory, model learning etc. with applications in Cyber Security, for example, code and data integrity, malware analysis, intrusion detection, integrity, trustworthiness, or privacy and anonymity. We are particularly interested in developing collaborations involving several groups within the school and wider University, for example, an exciting opportunity exists to work closely with the world-leading 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.

Applicants should hold a PhD (or equivalent), have an excellent international publication record, show capability of developing a portfolio of funded research activities in a multidisciplinary environment, and have a strong commitment to excellence in teaching.

Within the online application, applicants should provide:

  • A full academic CV
  • 1-page description of your vision and future research plans, with an indication of how you will secure funding for research and with whom you might collaborate, both inside/outside the University
  • A brief statement on teaching, listing the technical areas to which you could contribute, at both the undergraduate and postgraduate level, highlighting experience and indicating the teaching methods that you think would be appropriate to teaching in this discipline


The School is committed to promoting equality and diversity, including the Athena SWAN charter for promoting women’s careers in STEMM subjects (science, technology, engineering, mathematics and medicine) in higher education. The School holds a Bronze Award for their commitment to the representation of women in the workplace and we particularly welcome applications from women for this post. The appointment will always be made on merit. For further information, please visit:  http://www.manchester.ac.uk/connect/jobs/equality-diversity/awards/athena-swan/                                               

Please note that we are unable to respond to enquiries, accept CVs or applications from Recruitment Agencies

Enquiries about the vacancy, shortlisting and interviews:

Professor Andrei Voronkov

Email: andrei.voronkov@manchester.ac.uk


Dr. Giles Reger

Email:  giles.reger@manchester.ac.uk

General enquiries:

Email: hrservices@manchester.ac.uk

Tel: 0161 275 4499

Technical support:

Email: universityofmanchester@helpmeapply.co.uk

Tel: 0161 850 2004

This vacancy will close for applications at midnight on the closing date

Further Particulars


This position is now closed. We are no longer accepting applications for this position.