Logic List Mailing Archive

Postdoctoral position in automated reasoning, Manchester (England), Deadline: 7 Oct 2019

A Research Associate (postdoctoral) position is available for an 
outstanding and ambitious researcher to undertake research in the field of 
automated reasoning, in particular in first-order theorem proving for 
theories such as arithmetic or datatypes. You will be working in the 
automated reasoning group at the University of Manchester and contributing 
to the Vampire theorem prover.

The position is suitable for a person who has just obtained, or is about 
to obtain, a PhD in a relevant area or equivalent, as well as those with 
more experience. The position requires expertise in logic and first-order 
automated reasoning. Knowledge of decision procedures for datatypes, 
program analysis, SMT-based reasoning and verification, or implementation 
experience are desirable.

The position is initially for 11 months with the chance of extension.

Please contact Giles Reger 
(giles.reger@manchester.ac.uk<mailto:giles.reger@manchester.ac.uk>) for 
queries.

The full details (and how to apply) are here:

https://www.jobs.manchester.ac.uk/displayjob.aspx?jobid=17890

(applications close 7th October)

--
[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