News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Deadline: Monday 11 March 2019

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.

Please note that this newsitem has been archived, and may contain outdated information or links.