Research Associate on AI for Verification and Control

Computer Science

departnent athena award

University of Oxford, Oxford, UK


  • Posted on: 15th Feb 2021
  • Salary: Grade 7: £32,817 - £34, 804.p.a
  • REF: 149533
  • Closes: 08th March 2021
  • Contract Type: Fixed-Term/Contract
  • Hours: Full Time

Job Details

Research Associate on AI for Verification and Control

Department of Computer Science, Parks Road, Oxford

Grade 7: £32,817 – £34, 804.p.a

Fixed Term for up to one year

The appointment would be at max grade 7/3 (£32,236 – £34,804 p.a.) where you would be expected to hold a doctoral degree in Computer Science or be close to completion).

The Department of Computer Science at the University of Oxford is currently looking for an outstanding candidate to fill one RA position available from early 2021 on a 1-year full-time contract, on a project led by Professor Alessandro Abate.

The scientific underpinnings of the project lie in the areas of Formal Verification and Control Theory, with additional core components from the area of AI and Machine Learning. The overall goal is to contribute to the development of general approaches to integrate learning components within architectures for the formal verification and control of complex engineering systems: we aim on the one hand to certify the correct behaviour of safety-critical components and systems adaptively to collected data, and on the other to provide formal guarantees (from verification and control theory) to learning components that are embedded in safety-critical systems. The project will have an additional emphasis on applications in the Space domain, through an established collaboration with ESA and Airbus.

The OXCAV research group investigates the areas of Formal Verification and Control Theory, and has a keen interest on integrating techniques and tools from Machine Learning (for instance, Reinforcement Learning). OXCAV investigates applications in Safety-Critical Systems, such as the energy infrastructure, automotive, space, and beyond. The group is focussed both on theoretical developments, and on generation of usable software, towards technology transfer pursued alongside key industrial partners. Further information about Professor Abate’s research profile can be found here:

We welcome applications from students with a DPhil/PhD (or close to completion status) in Mathematics, Computer Science, Engineering, or related technical degrees. Strong maths foundations are required, plus willingness to develop code and to engage in collaborative projects. Candidates must also have good writing, communication and presentation skills.

The closing date for applications is 12 noon on 8th March 2021, with interviews expected to be held w/c 15th March 2021

For further information about the project or for informal discussions about suitability, please contact Professor Abate (

We are a Stonewall Top 100 Employer, Living Wage and Mindful Employer, holding an Athena Swan Bronze Award, HR excellence in Research and Race Equality Charter Bronze Award.
Our staff and students come from all over the world and we proudly promote a friendly and inclusive culture. Diversity is positively encouraged, through diversity groups and champions, for example, as well as a number of family-friendly policies, such as the right to apply for flexible working and support for staff returning from periods of extended absence, for example shared parental leave.

Contact Person :

HR Officer

Vacancy ID :


Contact Phone :

Closing Date & Time :

08-Mar-2021 12:00

Contact Email :

Click on the link(s) below to view documentsFilesize

Research Associate on AI JD


Employer Achievements:

company awardcompany award