Models of computation, compositionally
TalTech School of Information Technologies, Department of Software Science offers a 4-year PhD position in the field of ICT.
Information and Communication Technology|
|Availability:||This position is available.|
School of Information Technologies
Department of Software Science
|Application deadline:||Applications are accepted between September 01, 2020 00:00 and October 02, 2020 23:59 (Europe/Zurich)|
This project will focus on applying compositional techniques, originating in category theory, to an emerging model of computation.
The insights obtained through compositional descriptions will eventually result in more descriptive programming languages, and better algorithms, e.g. for verification.
The concrete model of computation focussed on will depend on the background and motivation of the successful candidate, and may include e.g. quantum computing, probabilistic computing, or differentiable programming.