PhD position in Compilation Principles for Reversible Languages (MSCA Doctoral Network E-CoRe, DC7), University of Copenhagen

The position is doctoral candidate DC7, “Compilation Principles for Reversible Languages", in the Marie Skłodowska-Curie Doctoral Network E-CoRe. The position is available from 1 January 2027, or after agreement.

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

The project The position is funded by the European Union under the Horizon Europe Marie Skłodowska-Curie Actions Doctoral Networks (MSCA-DN) programme, grant agreement no. 101120187. The project advances the science and practice of reversible computing for a sustainable digital future. Energy is a main concern in society:

• IT accounts for an estimated 10% of global energy consumption.
• Reversible computation discards no information and therefore avoids the fundamental energy lower bound of conventional computing1 …