Accessibility Tools

Job details

Lecturer in Program Analysis and Cyber Security
Oxford Road, Manchester

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/Organisation: Science and Engineering

Division: Computer Science

Hours per week: Full Time

Contract Duration: Not specified

School / Directorate: School of Computer Science

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:                                               

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



Dr. Giles Reger


General enquiries:


Tel: 0161 275 4499

Technical support:


Tel: 0161 850 2004

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

Further Particulars


The closing date for this job has now passed.