Accessibility Tools

Job details

Research Associate in Verification for Sensor Systems Software (2 Positions Available)
Oxford Road, Manchester

Job reference: SAE-017536

Location: Oxford Road, Manchester

Closing date (DD/MM/YYYY): 18/10/2021

Salary: £33,309 to £40,927 per annum, depending on relevant experience

Employment type: Fixed Term

Faculty/Organisation: Science and Engineering

Division: Department of Computer Science

Hours per week: Full time

Contract Duration: Starting as soon as possible until 31 December 2022

School / Directorate: School of Engineering

The Autonomy and Verification Group in the Department of Computer Science at the University of Manchester focuses on autonomous systems and their development, verification, and analysis. Applications include robots, self-driving vehicles, distributed sensor-rich systems and decision-making software, alongside the development of verification techniques, standards and ethics for such systems with respect to safety, responsibility, assurance and trust. 

You will work on the EPSRC-funded "Science of Sensor System Software” (S4) research programme, under the direction of Professor Clare Dixon and Professor Michael Fisher as part of the Autonomy and Verification Group in the Department of Computer Science.  The project involves  four Universities and aims to deliver new principles and techniques for the development and deployment of verifiable, reliable, autonomous sensor systems that operate in uncertain, multiple and multi-scale environments. The Manchester team focuses on the verification aspects of this. 

You will develop, extend, and apply formal verification and development techniques for sensor system software, carrying out research into formal methods (model-checking, proof, run-time verification, static analysis), and foundations of autonomous, sensor-based, or cyber-physical systems.

As this role involves research at a postgraduate level, applicants who are not an EEA national or a national of an exempt country and who will require sponsorship under the Skilled Worker route of the UK Visas and Immigration’s (UKVI) Points Based System in order to take up the role, will be required to apply for an Academic Technology Approval Scheme (ATAS) Certificate and will need to obtain this prior to making any official visa application UKVI.

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. Clare Dixon


Name: Prof. Michael Fisher

General enquiries:

Technical support:

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.


The closing date for this job has now passed.