The Department of Mathematics and Computer Science at the University of Southern Denmark, Odense, invites applications for two PhD positions in programming languages. The proposed starting date is October 2020, with room for flexibility. The hired candidates will be part of the Concurrency and Logic research group.
We are looking for highly motivated students interested in theory and implementation of programming languages. The ideal candidate has an MSc in Computer Science and experience in at least one of the following areas (acquired, for example, by following courses or through work on an MSc thesis).
- Theory of programming languages
- Concurrency theory
- Distributed computing.
Experience in combining theory and practice of computer science is a plus.
Fluency in English is required.
Deadline: 5 August 2020.
Please see the full call, including how to apply, on www.sdu.dk.