[TYPES/announce] PhD position on coalgebra and semantics at Radboud University

[Jurriaan Rot]

There is 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 via jrot at cs.ru.nl

We ask:
  • 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.

Application deadline: 10 September 2021. 

Starting date: flexible, but 1 January 2022 the latest.

Application and further info: 
https://www.ru.nl/english/working-at/vacature/details-vacature/?recid=1161943&pad=%2fenglish&doel=embed&taal=uk

All the best,
Jurriaan