[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
[email protected]
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
