PhD Monitor
/Detail
Computer science● Open★ MSCAPreview

PhD position in Compilation Principles for Reversible Languages (MSCA Doctoral Network E-CoRe, DC7), University of Copenhagen

Join a pioneering PhD program focused on reversible computing.

Best for:Best for candidates with a strong background in computer science and an interest in compiler design.

University of Copenhagen · Copenhagen, Denmark · R1 · First-stage researcher
More professors at University of Copenhagen
reversible computingcompiler designprogram analysisoptimization techniques
Deadline
Nov 1, 2027
383 days
Funding
Salaried
€4.3k/mo
Start date
2027-01-01
Full-time
Location
Copenhagen
Denmark

Overview

The University of Copenhagen is offering a PhD position as part of the Marie Skłodowska-Curie Doctoral Network E-CoRe, focusing on compilation principles for reversible languages. This three-year position will commence on January 1, 2027, or as agreed. The successful candidate will engage in research aimed at advancing reversible computing, which is crucial for sustainable digital practices. Responsibilities include studying translation techniques for reversible languages, designing optimization methods, and implementing prototype compilers, with opportunities for collaboration and publication.

PhDreversible languagescompilation principlesprogramming languagesMarie Skłodowska-Curie

What you'll do

  • Investigate methods for translating high-level reversible languages into efficient representations.
  • Develop optimization techniques for reversible languages, including foundational and novel approaches.
  • Create prototype compilers to assess optimization strategies and establish a benchmark suite for evaluation.
  • Publish research findings in international conferences and peer-reviewed journals.
  • Participate in the training program of the E-CoRe network and engage in student guidance.

Requirements

Degree required: Master's degree in Computer Science or a closely related field

Degree offered: PhD

Language: English; proficiency in written and spoken communication

Instruction: English

Publications: Publication record is advantageous but not mandatory

Required skills
  • Strong academic record and motivation for doctoral research
  • Experience in compiler design, program analysis, or language semantics
  • Ability to work independently and collaboratively in an international environment
  • Proficiency in written and spoken English
Nice to have
Familiarity with reversible computing conceptsExperience with programming languages and compiler technologyWillingness to travel for secondments at partner institutions
Eligibility
  • Must not have resided in Denmark for more than 12 months in the last 3 years
  • Must not already hold a doctoral degree on the first day of employment

Funding & terms

Type
Salaried
Amount
€4.3k/mo
Duration
3 years
Programme
Horizon Europe - MSCA
EU-FUNDEDEuropean Union

How to apply

Deadline: 2027-11-01T23:59:59 (Europe/Copenhagen)

Applications must be submitted online in English. Include a motivated letter, CV, Master's diploma, and transcript. All documents should be in PDF format.

Documents required
  • Motivated letter of application
  • CV
  • Master's diploma and transcript
  • Publication list (if any)
↗Apply on site

Contact

RG
Prof.
Robert Glück
Department of Computer Science (DIKU)
Lab
The Programming Languages and Theory of Computation (PLTC) Section
University of Copenhagen
Horizon Europe - MSCADenmark
See the full position

Create a free profile to unlock your personal match score, the full requirements, funding details and how to apply — in English or Persian.

No card · 10 free AI match scores
Ready to apply?
383 days until the deadline — open this position on its website.