PhD Positions in Programming Languages (ERC project CHORDS)
Syddansk Universitet
- Odense, Syddanmark
- Permanent
- Fuldtid
We are looking for highly motivated candidates 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.
- Concurrent and distributed systems.
- Logical methods in computer science.
- Interactive theorem provers.
Based in Odense, the Department of Mathematics and Computer Science offers an inclusive and international working environment with state-of-the-art facilities as well as a strong tradition for collaboration across departments and faculties, and with other educational institutions, municipalities, and industries. More than two thirds of faculty members come from outside of Denmark.
The University of Southern Denmark was founded in 1966 and now has more than 27,000 students, almost 20% of whom are from abroad. It has more than 3,800 employees, and 115 different study programs in the fields of the humanities, social sciences, natural sciences, health sciences, and engineering. Its main campus is located in Odense, the third largest city in Denmark. Odense provides family-friendly living conditions with the perfect combination of a historic city centre with an urban feel and yet a close proximity to beaches and recreational areas. Its location on the beautiful island of Funen is ideal with easy access by train or highway to the bigger cities of Aarhus and Copenhagen. As the birthplace of Hans Christian Andersen, Denmark's famous fairytale author, the city is home to a vibrant and creative population that hosts numerous festivals and markets throughout the year.The deadline for applications: 15 May 2024 at 23:59 hours local Danish time.Please see the full call, including how to apply, on