The position is a 3‑year PhD candidate (DC1) in reversible programming languages at the Programming Languages and Theory of Computation (PLTC) Section, Department of Computer Science (DIKU), University of Copenhagen. The role is funded by the EU Horizon Europe Marie Skłodowska‑Curie Actions Doctoral Networks programme.
The successful candidate will work on reversible programming languages, study integration of reversible features into mainstream languages, explore domain‑specific features, publish results, and participate in secondments to CNRS/Université Côte d'Azur (France), University of Southern Denmark (Denmark), and Tokai National Higher Education and Research System (Japan). The position starts 1 January 2027 (or after agreement) and lasts 3 years.
The monthly salary starts at DKK 31,845 (August 2026 level) with possible supplement. The role is full‑time and located in Copenhagen, Denmark.