PhD: Compilation Principles for Reversible Languages — DC7

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:

1. 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.
2. 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. Compulsory national service, short stays such as holidays, and time spent as part of a procedure for obtaining refugee status under the Geneva Convention are not taken into account.
3. Enrolment: You must be enrolled in a doctoral programme at the host institution during the project.
4. 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: 4,010 € per month (adjusted by country coefficient)
• Mobility allowance: 710 € per month
• Family allowance: 660 € per month (if eligible, e.g. researcher with dependent spouse and/or children)

The exact gross salary differs depending on the country and host institution. Full details are provided in the detailed descriptions of each position on the project website or during the interview phase.

How to apply

Please click on the application link below to submit your application.