PhD Positions in Programming Languages
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. Application deadline: 5 August 2020.
Candidate Profile
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
• Compilers
• Concurrency theory
• Distributed computing.
Experience in combining theory and practice of computer science is a plus.
Fluency in English is required.
The positions are financed by the following research projects:
• The project “Choreographies for Connected IT Systems” investigates a new development methodology for the correct programming of coordination in concurrent and distributed systems, leveraging ideas from hybrid logic, types, and compilers.
• The project “Generic Microservices” investigates abstract reasoning principles for the composition and manipulation of service APIs, and the application of these principles to programming languages for the large-scale programming of resilient cloud applications.
Both projects are in basic research and focus on scientific excellence.
For more information click "LINK TO ORIGINAL" below.
This opportunity has expired. It was originally published here:
https://www.sdu.dk/en/service/ledige_stillinger/1104002