[apologies for cross-postings] The Oxford Department of Computer Science has a vacancy for a full-time Postdoctoral Research Associate position on the ERC-funded project “ARiAT: Advanced Reasoning in Arithmetic Theories”: http://www.cs.ox.ac.uk/news/2116-full.html The goal of this project is to develop novel algorithms for reasoning in arithmetic theories. Further information, including representative publications that have so far arisen in the context of the project, can be found under the following URL: http://www.cs.ox.ac.uk/people/christoph.haase/home/project/ariat/ The position is for 18 months, with a flexible starting date around April 2023. The post is advertised at Grade 7 with a salary range of £34,308 - £42,155 p.a. The post may be under-filled at Grade 6 £30,502 - £36,386 p.a. The application deadline is noon 25 January 2023. Applicants are welcome to informally discuss this position with Dr. Christoph Haase (christoph.haase@cs.ox.ac.uk).