[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
