Research Associate on the ARiAT Project
University of Oxford
Department of Computer Science – Wolfson Building, Parks Road, Oxford
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.
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 or mathematical logic, and/or formal verification, broadly construed.
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. The initial contract is for 1.5 years.
The closing date for applications is 12 noon on 16 August 2022. Interviews are expected to be held in August or early September.
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 https:// www. cs.ox.ac.uk/aboutus/women-cs-oxford/index.html , 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.
Demonstrating a commitment to provide equality of opportunity. We would particularly welcome applications from women and black and minority ethnic applicants who are currently under-represented within the Computer Science Department. All applicants will be judged on merit, according to the selection criteria.
Contact Person : HR Coordinator Vacancy ID : 159819 Contact Phone : Closing Date & Time : 16-Aug-2022 12:00 Pay Scale : STANDARD GRADE 7 Contact Email : email@example.com Salary (£) : Grade 7: Salary £33,309 – £40,927 p.a. (Post may be under-filled at Grade 6 £29,614 – £35,326 p.a.)