Aktuelle job hos IT-Universitetet (ITU)

PhD Position in Probabilistic Session Types at the IT University of Copenhagen

The IT University of Copenhagen invites applications for a PhD position in the PROBABILIST project (PROBABILIstic Session Types), funded by the Independent Research Fund Denmark (DFF-FNU) starting in August or soon thereafter. The right candidate will contribute to advancing the theory and practice of probabilistic session types, a formal framework for reasoning about correctness, reliability, and expressiveness in distributed systems with probabilistic behaviour. Project Description

Læs mere