Research & Development
PhD position in Reversible Programming Languages (MSCA Doctoral Network E-CoRe, DC1), University of Copenhagen
Resumé
A three-year PhD position focused on reversible programming languages, including their expressiveness, integration into mainstream languages, and domain-specific features. The candidate will conduct independent research and publish results.
Læst af AI
Kort om jobbet
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 applications.
- Read more about the network at https://e-core.nws.cs.unibo.it/1 …
Dette er et forkortet uddrag af det offentlige jobopslag. Følg det originale opslag for at se den fulde og autoritative beskrivelse.