PhD position in Reversible Programming Languages (MSCA Doctoral Network E-CoRe, DC1), University of Copenhagen

The position is doctoral candidate DC1, “Reversible Programming 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 reversible programming 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 computing.
• The network trains a cohort of doctoral candidates who will improve and popularize reversible languages, algorithms, and architectures for energy-intensive applications1 …