The Mechanisation of Session Types (MECHANIST) project at the Computer Science Department
of the IT University of Copenhagen invites strong and highly motivated individuals to apply for a PhD position starting 1 September 2021 or as soon as possible thereafter and for the duration of 3 years.
Please distribute this if you know anybody who may be interested to apply
— contact me (Marco Carbone -
[log in to unmask] ) if you have any questions regarding the position.
You can unsubscribe at any time through this link: