PhD Candidate for Coalgebra and Semantics

Radboud University, Netherlands

Updated: over 2 years ago
Deadline: 10 Sep 2021

Do you aim to bridge the gap between computer science theory and application? As a PhD Candidate, you conduct research at the intersection of semantics, category theory and coalgebra. You have plenty of freedom to define your own research direction, and can contribute to building a toolkit for constructing, combining and analysing distributive laws.

As a PhD candidate on this project, you will conduct research in theoretical Computer Science at the intersection of semantics, category theory and coalgebra.

Coalgebra is an elegant mathematical theory of state-based systems (transition systems, various kinds of automata, probabilistic models), based on category theory. In this context, distributive laws 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.


Similar Positions