The School of Computer Science at the University of Manchester is the longest established school of computer science in the UK. The School of Computer Science seeks to strengthen its presence in Program Analysis and Cyber Security, in the fundamentals of the discipline, its application in a variety of areas, and at the interface with automated reasoning research.; As part of a major ongoing investment, the school wishes to appoint two posts in Program Analysis and Cyber Security; one Professor, Reader or Senior Lecturer and one Lecturer. The School already has a substantial research activity in the automated reasoning underpinnings necessary for systematic program analysis for cyber security, and wishes to add new appointments to complement this existing research.
Applicants should be computer scientists with a strong interest and track record in a relevant area of program analysis, for example, model checking, abstract interpretation, symbolic computation, program synthesis, static and dynamic analysis, or deductive verification, 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. Thus, experience and interest in collaborative research are particularly welcome.
The School of Computer Science is a leader in its field and seeks to attract exceptional researchers. In the most recent Research Excellence Framework, the School was rated 1st for research environment and in the top 5 for research quality. You will publish to the highest standards, secure external research funding, pursue real-world impact, and contribute to the world-class PhD training programmes within the School. Applicants should hold a PhD, 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.
The School values exceptional teachers. You will play a key role in maintaining our reputation as an institute of learning – designing and delivering innovative taught courses at undergraduate and postgraduate level, both in program analysis and cyber security and across the spectrum of Computer Science.
The School of Computer Science 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. We particularly welcome applications from women and people from groups who are currently under-represented in Computer Science. 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:
Name: Professor Andrei Voronkov
or Dr. Giles Reger email@example.com
Tel: 0161 275 4499
Tel: 01565 818 234
This vacancy will close for applications at midnight on the closing date