» 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: 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.