[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
(apologies for multiple copies)
(please pass this message on to interested people)
Affiliation: Concurrency and Logic group (https://concurrency.sdu.dk),
Dept. of Mathematics and Computer Science, Prof. Fabrizio Montesi
Location: University of Southern Denmark, Odense, Denmark
Duration: 3 years (a PhD position in Denmark is a "full" working contract
with good salary and working conditions)
Start: expected October 2020 (flexibility allowed)
Research topics:
- Theory of programming languages
- Compiler technology
- Concurrency theory
- Distributed computing
For further information and the application form, see
http://tinyurl.com/phds-pl
Deadline for application: **05 August 2020**
