I have a 4-year PhD position in theoretical computer science available at Radboud University.
Project: As a PhD candidate on this project, you will conduct research 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.
If you wish to learn more about the project, don’t hesitate to get in touch.
• You hold an MSc or equivalent degree in computer science, mathematics or a closely related field.
• You are able to work both independently and as part of a team.
• You are proficient in English. (Dutch is not required.)
• Prior knowledge of coalgebra is not required; basic knowledge of category theory will be helpful. Most important is that you are excited about abstract structures in theoretical computer science.
For general information on doing a PhD at our institute (including, e.g., the salary for PhD students in the Netherlands), see here.
Starting date: preferably by January 2022, but a few months later is possible.
In order to apply, please send me a CV, transcript of grades, motivation letter and your master thesis if available. But either way you’re encouraged to get in touch informally if you’re planning to apply. Application deadline is 11 October, or until the position is filled.