An exciting opportunity to join an internationally renowned research team tackling (formal) software engineering and verification and applying this work across autonomous systems, robotics and AI.
We are looking for candidates to assist in shaping and conducting a research program around (formal) software engineering and verification, with a particular focus on autonomous systems, robots/vehicles and practical verification. We require an experienced researcher with an excellent track record of relevant research who is also capable of identifying and advancing research across the Autonomy and Verification group. The successful applicant will also be expected to collaborate with, and develop new directions for, research with external partners such as companies, academic groups and non-governmental organisations.
This opportunity is linked to the Royal Academy of Engineering Chair in Emerging Technologies held by Prof. Michael Fisher, and the successful applicant will support Prof. Fisher in carrying out and developing research. Candidates will need strong research expertise in software engineering and verification, particularly logics, formal verification, autonomous systems, formal software architectures or agent-based systems and will also need to be able to take lead responsibility for developing and extending research activities, external engagement and collaborations.
This is a full-time Grade 7 (Research Fellow) post for 36 months, commencing on 1st April 2022, and located within the Department of Computer Science at the University of Manchester
The School/Department is strongly committed to promoting equality and diversity, including the Athena SWAN charter for gender equality in higher education. The School/Department holds a Bronze Award for their good practice in relation to gender; including flexible working arrangements, family-friendly policies, and support to allow staff to achieve a god work-life balance. We positively welcome applications from women for this post. All appointments will always be made on merit. For further information, please visit:
Our University is positive about flexible working – you can find out more here
Blended working arrangements may be considered
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: Prof. Michael Fisher
This vacancy will close for applications at midnight on the closing date.
Please see the link below for the Further Particulars document which contains the person specification criteria.