PhD Position in Reversible Programming Languages (MSCA Doctoral Network E-CoRe)
Explore cutting-edge reversible programming languages in a Marie Skłodowska-Curie Doctoral Network at the University of Copenhagen.
Best for:Best for early-career researchers with a strong background in theoretical computer science, programming languages, or formal methods, seeking to contribute to innovative research in reversible computation.
Overview
This PhD position focuses on reversible programming languages within the MSCA Doctoral Network E-CoRe, hosted by the Programming Languages and Theory of Computation (PLTC) Section at the University of Copenhagen. The successful candidate will conduct research at the intersection of theoretical computer science and programming language design, contributing to advancements in reversible computation. The position offers a fully funded opportunity to pursue a PhD in a dynamic research environment, with a start date planned for January 2027 or later. Applicants should be passionate about theoretical computer science and eager to explore novel computational paradigms.
What you'll do
- Conduct independent and original research on reversible programming languages, contributing to theoretical advancements in the field.
- Develop novel algorithms, models, or frameworks for reversible computation and their formal verification.
- Collaborate with the PLTC Section and other members of the MSCA Doctoral Network E-CoRe to advance research goals.
- Present research findings at international conferences and workshops, and publish results in high-quality academic journals.
- Participate in teaching and mentoring activities as assigned by the department.
- Engage in interdisciplinary discussions and contribute to the broader research community within the network.
Requirements
Degree required: Master's degree (or equivalent) in Computer Science, Theoretical Computer Science, or a related field.
Degree offered: PhD
Language: English; proficiency at a level suitable for academic research and publication (no specific test score mentioned).
Instruction: English
- Strong background in theoretical computer science, programming languages, or formal methods.
- Proven ability in mathematical reasoning and formal proof techniques.
- Experience with programming language design or implementation.
- Excellent written and verbal communication skills in English.
- Familiarity with computational complexity theory and formal verification methods.
- Open to EU and non-EU applicants under MSCA eligibility rules (e.g., mobility rule: not having resided or carried out main activity in Denmark for more than 12 months in the last 3 years).
- Applicants must not have been awarded a doctoral degree.
Funding & terms
How to apply
Deadline: 2026-11-01 (Europe/Copenhagen)
Applicants must submit their application through the official MSCA Doctoral Network E-CoRe portal. The application should include a CV, a cover letter, a research proposal, academic transcripts, and two letters of recommendation. Ensure all documents are in English and adhere to the specified format.
- Curriculum Vitae (CV)
- Cover letter
- Research proposal (detailed plan for PhD research)
- Academic transcripts (BSc and MSc)
- Two letters of recommendation
Contact
Thomas Jensen· Supervisor
Create a free profile to unlock your personal match score, the full requirements, funding details and how to apply — in English or Persian.