We are inviting applications for PhD studentships in the Theory Group [1] at the University of Birmingham to work on Homotopy Type Theory and related areas. The Theory Group at Birmingham has a broad interest in type theory, category theory, programming language theory and formalized mathematics, and both Eric Finster and Martín Escardó are active researchers in the HoTT community.