PhD in Reversible Programming Languages for a Sustainable Future

KU; København; On-site; DKK 355,000 - 424,000; Full time

Job summary

The University of Copenhagen is offering a 3-year PhD position in reversible programming languages as part of the MSCA E-CoRe network. The successful candidate will work within the PLTC section of the Department of Computer Science and contribute to a vibrant international research environment.

The project focuses on language design, semantics, and integration with mainstream languages, with opportunities for secondments and publishing in leading venues.

Qualifications

• Master of Science in Computer Science or closely related field; mastered English for communication.
• Strong academic record and motivation for doctoral research.
• Proficiency in written and spoken English.

Responsibilities

• Advance reversible programming languages with a view to expressiveness and applicability to reversible algorithms.
• Study integration of reversible features into mainstream irreversible languages.
• Explore domain-specific features to identify novel language idioms for reversible programming.
• Publish results at international conferences and in peer‑reviewed journals.

Skills

Programming languages

English proficiency

Independent researcher

Education

Master's degree in Computer Science

Job description

The University of Copenhagen is offering a 3-year PhD position in reversible programming languages as part of the MSCA E-CoRe network. The successful candidate will work within the PLTC section of the Department of Computer Science and contribute to a vibrant international research environment.

The project focuses on language design, semantics, and integration with mainstream languages, with opportunities for secondments and publishing in leading venues.