PhD position on coalgebra at Radboud University, Nijmegen (The Netherlands)

As a PhD candidate on this project, you will conduct research at the intersection of semantics, category theory and coalgebra. Specifically, the project is about distributive laws, which capture the interaction between coalgebra and algebra, and have shown to be very useful as a general way of modelling programming language semantics, as well as automata constructions and powerful co-inductive proof techniques.

The aim of the project is to investigate distributive laws in their own right, and build a toolkit for constructing, combining and analysing them. You can build on several existing approaches, but will have plenty of freedom to define your own direction and focus. Starting date: preferably before January but a couple months later is possible.