[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://tinyurl.com/2vsafj4b 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 advertised at Grade 8 with a salary range of £42,149 - £50,296 p.a. The post may be under-filled at Grade 7 £33,309 - £40,927 p.a. The application deadline is 7 July. Applicants are welcome to informally discuss this position with Dr. Christoph Haase (christoph.haase@cs.ox.ac.uk).