PhD student position on coalgebra and logic, London (England)

We are seeking to appoint a PhD student in UCL's Programming Principles, Logic, and Verification (PPLV) group, to work alongside the EPSRC-funded project 'A coalgebraic framework for reductive logic and proof-search (ReLiC), led by David Pym (PI), Alexandra Silva, and Simon Docherty.

In the reductive approach to logic, one starts from a putative conclusion, and finds sufficient axioms from which it may be concluded by the systematic reduction of the space of possible (deductive) proofs.  The ReLiC project aims to produce a uniform mathematical foundation for reductive logic via the framework of coalgebra and coinduction. Coalgebra can fruitfully be seen as a unifying formalism for stateful systems, while coinduction is a closely connected proof principle based on the reduction of goals into subgoals.

We are looking for a student with an excellent first degree in mathematics, computer science, philosophy, or another mathematical discipline, who has a strong background and interest in logic. Ideally, candidates will also have an excellent, relevant Master?s degree and strong programming skills.