Careers Denmark
Se alle job

Research & Development

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

University of Copenhagen Copenhagen, Denmark Publiceret 30. sep. 2026 University of Copenhagen verified public ATS · education-children-social-servicesMidlertidigStuderende / praktikant31.845 DKK om månedenEngelsk
Læst af AI
Læst fra jobopslaget af AI. Arbejdsgiverens egne felter vinder altid.
Dette job er ikke længere bekræftet åbent. Vi har ikke set det hos arbejdsgiveren det seneste døgn. Tjek arbejdsgiverens eget opslag, før du søger. Se arbejdsgiverens opslag

Resumé

The PhD candidate will research compilation principles and optimisation techniques for reversible languages, implement prototype compilers, and evaluate the results through benchmarks and publications.

Læst af AI
Læst fra jobopslaget af AI. Arbejdsgiverens egne felter vinder altid.

Kort om jobbet

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 computing.
  • The network trains a cohort of doctoral candidates who will improve and popularise 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.