Research Fellowship in Software Engineering & Verification (3y), Manchester (England)

The Department of Computer Science, University of Manchester, UK is looking for an experienced researcher who has a strong track record of relevant research and is capable of implementing and advancing research across the Autonomy and Verification network. Candidates will need excellent research within several of formal verification, autonomous systems, agent-based systems, software architectures, or logics, and must also be able to develop and extend research activities, engagement and collaborations.

This opportunity is linked to the Royal Academy of Engineering Chair in Emerging Technologies held by Prof. Michael Fisher. The successful candidate will assist in shaping and conducting this research programme around software engineering and verification, with a particular focus on autonomous systems, robots/vehicles and practical formal verification. The successful candidate 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.