[TYPES/announce] 3 Year Postdoctoral Position in Logic, Automated Reasoning and Coalgebra, London (United Kingdom)

[Docherty, Simon]

Dear colleagues,

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.

https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/S013008/1

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
https://www.jobs.ac.uk/job/BPF762/research-fellow-in-programming-principles-logic-and-verification

with a closing date of February 7th (although this is likely to be extended).

thank you,
Simon Docherty