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

Marco Carbone has a PhD position at the IT University Copenhagen in the PROBABILIST project (PROBABILIstic Session Types), funded by the Independent Research Fund Denmark (DFF-FNU) starting in August or soon thereafter. The project is in cooperation with Nobuko Yoshida at the University of Oxford. See here for details and encourage suitable students to apply for this exciting PhD position. Spread…