Postdoctoral Research Associate on the ARiAT project
Posted: 9th June 2022
Department of Computer Science, Parks Road, Oxford.
Postdoctoral Research Associate on the ARiAT project
Full Time
Fixed term contract for 1,5 years with the possibility of extension until 31 December 2024
Grade 8: Salary £42,149 - £50,296 p.a. (Post may be under-filled at Grade 7 £33,309 - £40,927 p.a.)
The Oxford Department of Computer Science has a vacancy for a full-time (37.5h p.w.) Postdoctoral Research Associate (PDRA) 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 primary focus of this role will be on establishing algorithmic lower bounds for arithmetic theories. There will also be ample opportunity for candidates to develop their own research profile whilst holding the post.
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 (christoph.haase@stcatz.ox.ac.uk).
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 8 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 7 (Grade 7: £33,309 - £40,927 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 11 July 2022. Interviews are expected to be held in July.
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: