哥本哈根大学可逆编程语言领域的博士研究生岗位（MSCA博士培养网络E-CoRe，DC1）

该博士项目致力于推动可逆编程语言的发展，以提升其在高效计算领域的应用价值。项目内容包括开发可逆算法、将可逆特性融入常见语言中，以及探索特定领域的专业惯用法。申请者应拥有计算机科学或相关领域的硕士学位，并最好具备一定的编程语言设计经验。

Job description: 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 reversible programming languages. The project: 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 popularize reversible languages, algorithms, and architectures for energy-intensive applications. Read more about the network at ［会员资料链接］ . The position is open for talented candidates with a master’s degree, who want to pursue a PhD degree in Computer Science. DC1 : The successful PhD candidate will work on reversible programming languages. The candidate can build on the work by project members. Concretely, the work includes the following: Advancing reversible programming languages with a view on increasing their expressiveness and applicability to the development and construction of non-trivial reversible algorithms. Studying the integration of reversible features into mainstream irreversible languages. Exploring domain-specific features to identify novel language idioms specific to reversible programming and applications developed elsewhere in the network. Publishing the results at international conferences and in peer-reviewed journals. Planned secondments: CNRS / Université Côte d'Azur (France), University of Southern Denmark (Denmark), and Tokai National Higher Education and Research System (Japan). Key criteria for the assessment of applicants for the position: 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: ［会员资料链接］ Please note that we might ask you to obtain an assessment of your education performed by the Ministry of Higher Education and Science. Other important criteria are: Strong academic record and motivation for doctoral research. Experience in programming language design, semantics, or implementation, 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. Start date: 1 January 2027, or after agreement with the cohort of the MSCA-DN Duration: 3 years 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 DC7 “Compilation Principles for Reversible Languages” is available. More information: PhD position in Compilation Principles for Reversible Languages (MSCA Doctoral Network E-CoRe, DC7), University of Copenhagen . Mobility rule 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.

作为博士研究生的资格要求（DC）： 所招聘的研究人员必须是博士研究生，即在入职第一天尚未持有博士学位。那些已成功完成博士论文答辩但尚未正式获得博士学位的研究人员将不被视为符合资格。 工作场所描述 哥本哈根大学计算机科学系（DIKU）下的编程语言与计算理论（PLTC）部门位于哥本哈根北校区，该部门致力于研究编程的算法层面、编译器技术、函数式编程以及可逆与量子计算等课题。您将加入一个由博士学生、博士后及教师组成的国际团队，该团队专注于编程语言、计算理论及各类应用领域的交叉研究。 关于 PLTC 和 DIKU 的更多信息，可于 [会员链接] 及 [会员链接] 查看。

聘用条件： 薪资、养老金及聘用条件将遵循财政部与AC（丹麦职业协会联合会）或其他相关组织所达成的协议。目前，每月薪资为31,845丹麦克朗，约4,260欧元（2026年8月水平）。 根据资格情况，可协商额外补贴。雇主将向您的养老基金支付额外的18.07%。 该职位属于2025年大学学术人员岗位结构所涵盖的范围。

Application procedure: Your online application must be submitted in English by clicking ‘Apply now’ below. Furthermore, your application must include the following documents/attachments – all in PDF format: Motivated letter of application (max. one page). CV incl. education, experience, language skills and other skills relevant for the position. Master of Science diploma and transcript of records. If not completed, a certified/signed copy of a recent transcript of records or a written statement from the institution or supervisor will do. Publication list (if any). Deadline for applications: Sunday 1 November 2026, 23:59 PM CET. We reserve the right not to consider material received after the deadline, and not to consider applications that do not live up to the above-mentioned requirements. The further process 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 him/herself. You may read about the recruitment process at ［会员资料链接］ . 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. APPLY NOW Part of the International Alliance of Research Universities (IARU), and among Europe’s top-ranking universities, the University of Copenhagen promotes research and teaching of the highest international standard. Rich in tradition and modern in outlook, the University gives students and staff the opportunity to cultivate their talent in an ambitious and informal environment. An effective organisation – with good working conditions and a collaborative work culture – creates the ideal framework for a successful academic career.