Logic List Mailing Archive

Postdoctoral position in reasoning in arithmetic theories, Oxford (England), Deadline: 7 Jul 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”:

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).
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam