PhD in Reversible Language Compilation Principles

KU - SCIENCE - DATALOGISK INSTITUT - UP1; København; On-site; DKK 29,000 - 35,000; Full time

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

Strong academic record

Independent work

English proficiency

Team collaboration

Education

Master's degree in Computer Science or related field

Job description

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