[FOM] 3 Year Postdoctoral Position in Logic, Automated Reasoning and Coalgebra, London (United Kingdom)
simon.docherty at ucl.ac.uk
Thu Jan 17 07:08:57 EST 2019
We currently have a vacancy for a 1 year (with the possibility of extension to 3 years) postdoctoral position in UCL’s Programming Principles, Logic and Verification research group. It is attached to the EPSRC-funded project ReLiC: A Coalgebraic Framework for Reductive Logic and Proof Search.
The successful candidate will be working with PI Prof. David Pym and co-investigators Prof. Alexandra Silva and Dr. Simon Docherty on coalgebraic and category theoretic approaches to the theory of proof search, focusing on the representation of both search spaces and the algorithmic control processes used to navigate them. The ideal candidate will additionally have automated reasoning and implementation expertise, with a view to implement prototype theorem provers based on the generic theory of reductive logic.
The official job advertisement can be found at the following link
with a closing date of February 7th (although this is likely to be extended).
More information about the FOM