Please note that this newsitem has been archived, and may contain outdated information or links.
Postdoctoral position in reasoning in arithmetic theories, Oxford (England)
Deadline: Thursday 7 July 2022
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'. The goal of this project is to develop novel algorithms for reasoning in arithmetic theories. The position is advertised at Grade 8 with a salary range of £42,149 - £50,296 p.a.
For more information, see
http://tinyurl.com/2vsafj4b
or contact Dr. Christoph Haase at christoph.haase at cs.ox.ac.uk.
Please note that this newsitem has been archived, and may contain outdated information or links.