Postdoctoral position on a coalgebraic framework for reductive logic, London (UK)

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.