PhD: Compilation Principles for Reversible Languages — DC7

• Home
• Open Positions
• PhD: Compilation Principles for Reversible Languages — DC7

← Back to open positions PhD: Compilation Principles for Reversible Languages — DC7 E-CoRe Project Job Description We welcome applications from all qualified candidates regardless of nationality, ethnic origin, gender, sexual orientation, religion or belief, disability, or age. Selection is open, transparent, and merit-based. About The E-CoRe Project E-CoRe (Energy-efficient Computing via Reversibility) is a Horizon Europe project funded under the Marie Skłodowska-Curie Actions Doctoral Networks. The project advances the science and practice of reversible computing for a sustainable digital future, training the next generation of experts to make computing sustainable. Energy is a main concern in society: IT accounts for an estimated 10% of global energy consumption. Reversible computing avoids the fundamental energy lower bound imposed by Landauer's principle by discarding no information. E-CoRe aims to set the stage for the Reversible Computing revolution by forming a community of experts who will improve and popularize reversible languages, algorithms and architectures — in energy-intensive applications such as machine learning, blockchains and drones. For the full project description, see: Project Description. About the environment: University of Copenhagen The University of Copenhagen (UCPH) is Denmark's largest research and education institution. The Department of Computer Science (DIKU) is recognised as one of Europe's leading computer science departments, with particular excellence in algorithms research. The department hosts BARC (Basic Algorithms Research Copenhagen), a leading centre for fundamental algorithmic research. DIKU offers a vibrant, international research environment with strong ties to industry and a commitment to computing for a better future. About The Position Topic This doctoral position is part of Work Package 3: Compilation & Architectures. The successful candidate will work on Compilation Principles and Techniques for Reversible Languages. The DC will study techniques for translating high-level reversible languages to efficient low-level reversible and irreversible representations. The main objective is the development of optimisation techniques for compilation specific to reversible programs, both to reversible and irreversible computer architectures. This includes the development of a benchmark suite specific for reversible compilation. For the full topic description, objectives, expected results, and planned secondments, see: Topic: Compilation Principles and Techniques for Reversible Languages. MSCA Doctoral Candidate eligibility criteria To be eligible, you must satisfy all of the following conditions at the date of recruitment:

• Doctoral candidate status: You must not hold a doctoral degree. Researchers who have successfully defended their doctoral thesis but have not yet formally been awarded the doctoral degree are not eligible.
• Mobility rule: You must not have resided or carried out your main activity (work, studies, etc.) in Denmark for more than 12 months in the 36 months immediately before the recruitment date. For more information about this refer to this link.
• Nationality: Researchers of any nationality may apply.

Other Requirements

• Master's degree (or equivalent) in computer science, mathematics, electrical engineering, or a closely related field, obtained by the recruitment date.
• Strong academic record and motivation for doctoral research.
• Proficiency in written and spoken English.
• Ability to work in an international, collaborative environment.
• Willingness to undertake secondments to other project partners as specified in the topic description.

Remuneration The remuneration is based on the MSCA Doctoral Network researcher allowances:

• Living allowance: €5,325.28 per month (standard amount of €4,010 per month adjusted by country correction coefficient of the host country to match local cost of living)
• Mobility allowance: €710 per month
• Family allowance: €660 per month (if eligible, e.g. researcher with dependent spouse and/or children)

The exact net salary depends on compulsory social security contributions and taxes according to national law, which vary by host country, and may also depend on your personal circumstances, including additional income. How to apply Please click on the application link below to submit your application. Apply for this position Position details 👨‍🏫 Supervisor Robert Glück 🎓 Host institution University of Copenhagen 📅 Published March 16, 2026 ⏰ Application deadline 01 Nov 2026, 23:59 CET 25 days left 🏷️ Domains & keywords Reversible Programming Languages Compilation & Architectures Reversible Computing Programming Languages Compilation ← All open positions About The Position Topic This doctoral position is part of Work Package 3: Compilation & Architectures. The successful candidate will work on Compilation Principles and Techniques for Reversible Languages. The DC will study techniques for translating high-level reversible languages to efficient low-level reversible and irreversible representations. The main objective is the development of optimisation techniques for compilation specific to reversible programs, both to reversible and irreversible computer architectures. This includes the development of a benchmark suite specific for reversible compilation. For the full topic description, objectives, expected results, and planned secondments, see: Topic: Compilation Principles and Techniques for Reversible Languages. MSCA Doctoral Candidate eligibility criteria To be eligible, you must satisfy all of the following conditions at the date of recruitment:

• Doctoral candidate status: You must not hold a doctoral degree. Researchers who have successfully defended their doctoral thesis but have not yet formally been awarded the doctoral degree are not eligible.
• Mobility rule: You must not have resided or carried out your main activity (work, studies, etc.) in Denmark for more than 12 months in the 36 months immediately before the recruitment date. For more information about this refer to this link.
• Nationality: Researchers of any nationality may apply.

Other Requirements

• Master's degree (or equivalent) in computer science, mathematics, electrical engineering, or a closely related field, obtained by the recruitment date.
• Strong academic record and motivation for doctoral research.
• Proficiency in written and spoken English.
• Ability to work in an international, collaborative environment.
• Willingness to undertake secondments to other project partners as specified in the topic description.

Remuneration The remuneration is based on the MSCA Doctoral Network researcher allowances:

• Living allowance: €5,325.28 per month (standard amount of €4,010 per month adjusted by country correction coefficient of the host country to match local cost of living)
• Mobility allowance: €710 per month
• Family allowance: €660 per month (if eligible, e.g. researcher with dependent spouse and/or children)

The exact net salary depends on compulsory social security contributions and taxes according to national law, which vary by host country, and may also depend on your personal circumstances, including additional income. How to apply Please click on the application link below to submit your application. 👨‍🏫 Supervisor Robert Glück 🎓 Host institution University of Copenhagen 📅 Published March 16, 2026 ⏰ Application deadline 01 Nov 2026, 23:59 CET 25 days left 🏷️ Domains & keywords Reversible Programming Languages Compilation & Architectures Reversible Computing Programming Languages Compilation