PhD student position in proof-theoretic and algebraic aspects of fixed points, Birmingham (England) & Melbourne (Australia)

There is a PhD opportunity available, co-supervised by Daniel Murfet, at the University of Birmingham (UoB), UK, and the University of Melbourne (UoM), Australia. A successful student would conduct research on proof theoretic and algebraic aspects of fixed points, in particular taking advantage of recent advances in cyclic proofs and coalgebra. That said, the project is intentionally broad to accommodate the interests/expertise of the student.

Funding for this position is open to students worldwide for a duration of 3.5 years, beginning October 2021. A successful student would take up the position initially at one of the institutions UoB or UoM, at which they would spend the first 18 and final 12 months of the PhD. The intermediate 12 months should be spent at the other institution, for which extra funds are available.