PhD position in Compilation Principles for Reversible Languages (MSCA Doctoral Network E-CoRe, DC7), University of Copenhagen
KU - SCIENCE - DATALOGISK INSTITUT - UP1
An application made for this job — a tailored resume and cover letter that speak straight to the posting.
Job summary
University of Copenhagen invites applications for a 3-year PhD position in compilation principles for reversible languages within the MSCA-DN E-CoRe network. The successful candidate will work on translating high-level reversible languages into efficient low-level representations, design optimisations, and prototype compilers, with secondments planned to Germany and the UK.
The role requires a Master’s degree in Computer Science or a closely related field, strong English skills, and the ability
Qualifications
- Master's degree in Computer Science or closely related field required.
- Proficiency in written and spoken English.
- Ability to work independently and collaborate in an international research environment.
- Willingness to travel and undertake secondments.
Responsibilities
- Study techniques for translating high-level reversible languages to low-level representations.
- Design optimisation methods for reversible languages and program analysis.
- Implement prototype compilers and a benchmarking suite for reversible compilation.
- Publish results at conferences and journals.
Skills
Education
Job description
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.
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 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/ .
The position is open for talented candidates with a master’s degree, who want to pursue a PhD degree in Computer Science.
The successful PhD candidate will work on compilation principles and techniques for reversible languages. The candidate can build on the work by project members.
Concretely, the work includes the following:
- Studying techniques for translating high-level reversible languages into efficient low-level reversible and irreversible representations.
- Designing optimisation techniques for reversible languages, including foundational methods and novel approaches to program analysis and code generation.
- Implementing prototype compilers to evaluate optimisation techniques, alongside a benchmark suite specifically designed for reversible compilation and empirical evaluation.
- Publishing the results at international conferences and in peer-reviewed journals.
Planned Secondments: Technische Hochschule Mittelhessen (Germany), University of Manchester (UK).
The candidate must have a master’s degree (equivalent to a Danish Master's degree) in Computer Science or a closely related field, obtained by the recruitment date.
Certified copy of original Master of Science diploma and transcript of records in the original language, including an authorized English translation if issued in a language other than English or Danish. If not completed, a certified/signed copy of a recent transcript of records or a written statement from the institution or supervisor is accepted.
As a prerequisite for a PhD fellowship employment, your master’s degree must be equivalent to a Danish master’s degree. We encourage you to read more in the assessment database: https://ufsn.dk/english/education/recognition-and-transparency/find-assessments/assessment-database/
Please note that we might ask you to obtain an assessment of your education performed by the Ministry of Higher Education and Science.
- Strong academic record and motivation for doctoral research.
- Experience in compiler design, program analysis, and language semantics, regardless of programming paradigm, is an advantage. Prior knowledge of reversible computing is not needed.
- Ability to work independently, take initiative, and collaborate effectively in an international research environment. Proactive and team-oriented approach to work.
- Proficiency in written and spoken English.
- Willingness and ability to travel and undertake secondments at other project partners.
The successful candidate will be employed as a PhD student at the Department of Computer Science at the Faculty of Sciences, University of Copenhagen, and will collaborate closely with the group at the University of Southern Denmark, Odense, which is also an E-CoRe partner. The position may involve co-supervising related student projects. The PhD student is expected to participate in the activities of the research section and in the training programme of the E-CoRe network.
The main supervisor is Professor Robert Glück (e-mail: glueck@di.ku.dk ), whose current research focus is on programming languages, reversible computing, program generation, and metaprogramming.
The successful candidate will conduct independent research related to the topics above at the Programming Languages and Theory of Computation (PLTC) Section, Department of Computer Science (DIKU). We expect the candidate to engage in an active research environment and take part in student guidance.
Note: Another job opening for DC1 “Reversible Programming Languages” is available. More information: XXX-LINK-TO-DC1.
The researcher must not have resided or carried out his/her/their main activity (work, studies, etc.) in Denmark for more than 12 months in the 3 years immediately before the recruitment date. Short stays as holidays and compulsory military service and/or Refugee Convention 1951 are disregarded.
The recruited DC must be doctoral candidate, i.e. not already in possession of a doctoral degree on the first day of employment. Researchers who have successfully defended their doctoral thesis but who have not yet formally been awarded the doctoral degree will not be considered eligible.
The Programming Languages and Theory of Computation (PLTC) Section is part of the Department of Computer Science (DIKU) at the Faculty of Science, located on the North Campus in Copenhagen. At the section we research topics such as algorithmic aspects of programming, compiler technology, functional programming, reversible and quantum computing. You will be part of an international group of PhD students, postdocs, and faculty working at the intersection of programming languages, theory of computing, and various applications.
More information about PLTC and DIK can be found at https://di.ku.dk/english/research/pltc/ and https://di.ku.dk/english/ .
Salary, pension and terms of employment will be in accordance with the Agreement between the Ministry of Finance and AC (Danish Confederation of Professional Associations) or other relevant organization. Currently, the monthly salary starts at DKK 31,845 / approx. EUR 4,260 (August 2026-level).
Depending on qualifications, a supplement may be negotiated. The employer will pay an additional 18.07 % to your pension fund.
The position is covered by the Job Structure for Academic Staff at Universities 2025.
For further information, please contact Professor Robert Glück (e-mail: glueck@di.ku.dk ).
International applicants may find this link useful: https://ism.ku.dk/ (International Staff Mobility) or https://www.workindenmark.dk/ .
After the expiry of the deadline for applications, the authorized recruitment manager selects applicants for assessment on the advice of the hiring committee which will consist of both internal (UCPH) and external members. All applicants are then immediately notified whether their application has been passed for assessment by an unbiased assessor. Once the assessment work has been completed, each applicant has the opportunity to comment on the part of the assessment that relates to the applicant themself.
You may read about the recruitment process at https://employment.ku.dk/faculty/recruitment-process/ .
The applicant will be assessed according to the Ministerial Order no. 242 of 13 March 2012 on the Appointment of Academic Staff at Universities.
The University of Copenhagen wishes to reflect the surrounding community and invites all regardless of personal background to apply for the position
Deadline for applications: Sunday 1 November 2026, 23:59 PM CET.
'/%3e%3cpath%20d='M101.744%2012.4726L102.894%2016.1947L99.0021%2013.2201L101.744%2012.4726ZM105.3%208.40937H100.488L99.0026%203.59473L97.5116%208.41047L92.7%208.40385L96.5965%2011.3834L95.1055%2016.1942L99.0021%2013.2196L101.408%2011.3834L105.3%208.40992V8.40937Z'%20fill='white'/%3e%3cdefs%3e%3clinearGradient%20id='paint0_linear_5593_1381'%20x1='90'%20y1='9.44471'%20x2='99'%20y2='9.44471'%20gradientUnits='userSpaceOnUse'%3e%3cstop%20stop-color='%2300AD70'/%3e%3cstop%20offset='0.998594'%20stop-color='%2300B67A'/%3e%3cstop%20offset='1'%20stop-color='%23DCDCE6'/%3e%3c/linearGradient%3e%3c/defs%3e%3c/svg%3e){kind=small}
