Skip to main content

Research Associate on the ARiAT project

Posted: 7th December 2022

Department of Computer Science, Parks Road, Oxford.

Research Associate on the ARiAT project

Full Time, Fixed term contract for 18 months between 01/04/2023 – 30/09/2024

(Start date can be flexible)

Grade 7: Salary £34,308 - £42,155 p.a. (Post may be under-filled at Grade 6 £30,502 - £36,386 p.a.) 

The Oxford Department of Computer Science has a vacancy for a full-time (37.5h p.w.) Research Associate on the “ARiAT: Advanced Reasoning in Arithmetic Theories” project. This project is funded by European Research Council (ERC).

Arithmetic theories are logical theories for reasoning about number systems, such as the integers and reals. Such theories find a plethora of applications across computer science, including in algorithmic verification, artificial intelligence, and compiler optimisation. The appeal of arithmetic theories is their generality: once a problem has been formalised in a decidable such theory, a dedicated solver can in principle be used in a push-button fashion to obtain a solution. Arithmetic theories are also of great importance for showing decidability and complexity results in a variety of domains. The overall goal of ARiAT is to advance the state-of-the-art in decision procedures for expressive arithmetic theories. The project aims at tackling long-standing open problems—some of them being decades old—and at laying algorithmic foundations on which next-generation decision procedures and reasoners for arithmetic theories will be built.

The concrete research topics to work on in this post can be aligned with the background and expertise of the post-holder and will be in one of the following areas: complexity and decidability of logical theories of arithmetic, automata-theoretic approaches to arithmetic theories, counting and volume computations in arithmetic theories.

You will join the research group of Dr Christoph Haase and work closely with the members of the group. Candidates are expected to hold a PhD/DPhil (or be close to completion) in Computer Science or a related discipline, together with relevant experience in computational logic, complexity theory, automata theory and/or formal verification, broadly construed. Applicants are welcome to informally discuss this position with Dr Christoph Haase (

This role includes an entitlement to 38 days of paid annual leave, inclusive of eight public holidays as well as membership in the USS pension scheme. Whilst the role is a Grade 7 position, we would be willing to consider candidates with potential but less experience who are seeking a development opportunity, for which an initial appointment would be at Grade 6 (Grade 7: £34,308 - £42,155 p.a.) with the responsibilities adjusted accordingly. This would be discussed with applicants at interview/appointment where appropriate.

Applicants will be required to upload a supporting statement, setting out how you meet the selection criteria and a CV.

The closing date for applications is 12 noon on 25 of January 2023. Interviews are expected to be held in early February 2023.

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, 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.

For further details and to apply please visit: