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
Dr. Giles Reger
Tel: 0161 275 4499
Tel: 0161 850 2004
This vacancy will close for applications at midnight on the closing date