Dear all,

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. 

Link for applying:

Best Regards,

You can unsubscribe at any time through this link: