PhD in Reversible Language Compilation Principles

2 dage siden

København, Region Hovedstaden, Danmark KU - SCIENCE - DATALOGISK INSTITUT - UP1 Fuldtid 29.000 kr. - 35.000 kr. Kontrakt

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