Research Associate in Categorical Foundations of Computer Science

A fixed-term Research Associate position is available for 3 months in the Department of Computer Science and Technology at the University of Cambridge. The role involves working with Professor Jamie Vicary on a project applying categorical methods to the foundations of computer science. Essential skills include expertise in the type theory Catt for directed globular infinity categories and the graphical proof assistant homotopy.io. Candidates should hold (or be close to completing) a PhD in Computer Science or a relevant subject area. The position offers a 2.5% salary supplement and support for UK visa applications.