PhD in Reversible Languages for Energy-aware Computing

KU - SCIENCE - DATALOGISK INSTITUT - UP1; København; On-site; DKK 301,000 - 408,000; Full time

Job summary

The Programming Languages and Theory of Computation (PLTC) Section, Department of Computer Science (DIKU) at the University of Copenhagen, invites applications for a 3-year PhD position on reversible programming languages.

The project is part of the MSCA Doctoral Network E-CoRe and starts 1 January 2027. The successful candidate will pursue research on reversible languages, publish at international venues, and participate in secondments to partner institutions.

Qualifications

• Strong academic record and motivation for doctoral research.
• Experience in programming language design, semantics, or implementation is an advantage.
• Ability to work independently, take initiative, and collaborate in an international research environment.
• Proficiency in written and spoken English.
• Willingness and ability to travel for secondments.

Responsibilities

• Conduct independent research on reversible programming languages.
• Develop language features and study integration into mainstream languages.
• Publish results at international conferences and in peer‑reviewed journals.
• Collaborate with project partners and participate in network activities.

Skills

Programming languages

Semantics

Independent work

English proficiency

Education

Master's degree in Computer Science

Job description

The Programming Languages and Theory of Computation (PLTC) Section, Department of Computer Science (DIKU) at the University of Copenhagen, invites applications for a 3-year PhD position on reversible programming languages.

The project is part of the MSCA Doctoral Network E-CoRe and starts 1 January 2027. The successful candidate will pursue research on reversible languages, publish at international venues, and participate in secondments to partner institutions.