Research & Development
PhD position in Compilation Principles for Reversible Languages (MSCA Doctoral Network E-CoRe, DC7), University of Copenhagen
Opportunity summary
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 …
This is a shortened extract from the public vacancy. Follow the original posting for the complete and authoritative description.