Models of computation, compositionally
» Apply now PDF Show all positions
Abstract
TalTech School of Information Technologies, Department of Software Science offers a 4-year PhD position in the field of ICT.
| Research field: |
Information and communication technology |
|---|---|
| Supervisor: |
Prof. Dr. Pawel Sobocinski |
| Availability: | This position is available. |
| Offered by: |
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) |
Description
Description
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.