Skip to content
Københavns Universitet logo

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

Københavns Universitet · Education

Summary

This is a 3-year PhD position focused on reversible programming languages, funded by the EU Horizon Europe Marie Skłodowska-Curie Actions Doctoral Networks programme. The role involves studying the integration of reversible features into mainstream languages, exploring domain-specific features, publishing research, and participating in international secondments.

Key facts

Status
Available
Location
København K
Contract
Full-time
Contract duration
36 months
Work arrangement
On-site
Start date
1 January 2027
Level
Entry
Education
Master's
Required skills
  • reversible programming languages
  • programming languages
  • theory of computation
Benefits
  • employer pension scheme
  • health insurance
  • lunch arrangement
  • holiday and holiday leave
Salary
kr. 31.8k/moThe amount appears in the ad text and is not available as structured data

Full description

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.

Apply on the company site