面向节能信息物理系统的可逆编程博士职位（MSCA 博士网络）

项目概览

• 南丹麦大学无人机中心招聘一名三年制带薪博士，研究可逆编程语言如何用于节能信息物理系统；该职位是 MSCA E-CoRe 博士网络的 DC12“信息物理系统能效”课题。

• 研究将把可逆语言和算法用于低能耗应用，例如栖停式飞行机器人与物联网感知系统，并结合硬件层和系统层分析估算节能效果。

• 博士生将参加欧洲合作网络的联合培训与活动，并计划赴博洛尼亚大学和曼彻斯特大学进行交流派驻；主导师为 Ulrik Pagh Schultz 教授。

• 国籍不限，但必须满足 MSCA 博士学位与流动性规则。申请截止为 2026 年 11 月 1 日 23:59（中欧时间），优先入职时间为 2027 年 1 月 1 日起。

项目详情

可逆计算在执行过程中不丢弃信息，因此有望绕开传统计算因信息擦除而产生的基本能耗下限。E-CoRe 是一个围绕可逆计算建立的欧洲博士网络，目标是培养一批博士研究者，推动可逆语言、算法与体系结构在高能耗应用中的发展和普及。本职位属于网络中面向应用的工作包，将使用网络其他团队开发的语言和工具，把编程语言研究落实到信息物理系统的节能问题上。

课题的核心问题是：如何用可逆编程语言为能源敏感的系统编写软件，以及由此能够节省多少能量。应用场景包括低能耗的栖停式无人机和物联网感知设备。博士生将实现可逆编程语言中的算法，并在应用领域需要新构造或新编程习惯时扩展这些语言；随后把软件集成到模拟的信息物理系统中，再利用网络开发的建模框架，从硬件层和系统层联合估算能耗。最终需要回答可逆计算的节能幅度如何与系统输入/输出特征相关这一中心研究问题。

预期工作还包括在编程语言、软件工程和信息物理系统领域的国际会议及期刊发表成果，可能协助指导相关学生项目，参与无人机中心的项目组合、公众传播活动以及 E-CoRe 培训计划。研究不仅要求语言设计和软件实现，也需要把算法、系统模拟、能耗模型与机器人或嵌入式应用联系起来。

主导师 Ulrik Pagh Schultz 教授的研究横跨编程语言、软件工程、机器人和无人机；博士生还将由软件工程团队的研究人员共同指导，并与哥本哈根大学的可逆计算研究组密切合作。职位也会连接无人机中心正在开展的 WildBotics、Robotic Intercropping 等项目及当地企业 Spaceline。博士生将加入由博士生、博士后、工程师和教师构成的国际团队，并与欧登塞机器人产业社群及丹麦和海外研究伙伴合作。

E-CoRe 提供跨机构培养。博士生将参加合作高校组织的联合培训学校与网络活动，并需要出行完成交流派驻，目前计划的派驻机构为博洛尼亚大学和曼彻斯特大学。工作地点在欧登塞主校区的 Maersk Mc-Kinney Moller 研究所和 SDU 无人机中心；中心研究民用无人机及其在农业、检测、能源、医疗和自然保护中的应用。

申请者应已获得计算机科学、软件工程或密切相关领域硕士学位，或能在入职前完成学位。研究核心是编程语言与软件，不要求已有无人机、嵌入式硬件或可逆计算经验。相关经验可以来自编程语言设计与实现、函数式或声明式编程、非主流语言实践、C/C++/Rust/Python/Haskell 等语言的软件开发、算法及其分析、计算系统模拟/建模/能耗估算，以及嵌入式、实时或机器人软件。申请者需能流利使用英语书面与口头交流，能够独立工作并融入国际团队，也应愿意为交流派驻和网络活动出行。

MSCA 资格规则在招聘日适用：申请者不能持有博士学位；已完成博士答辩但尚未正式授予学位者也不具资格。流动性规则要求，在招聘日前连续 36 个月内，申请者在丹麦居住或开展主要活动（工作、学习等）的时间不能超过 12 个月；假期等短期停留、义务兵役以及《1951 年难民公约》涵盖的时间不计。满足这些条件者不受国籍限制，因此中国申请者可以申请，但仍需逐项证明流动性与学位资格。

申请材料须包括动机申请信、个人简历、过去 36 个月居住地和主要活动说明、论文清单及最多两篇代表性论文（如有）、硕士和本科证书及成绩单原件和正式英文翻译。5+3 申请者还需提交 TEK 博士申请表，所有申请者需提交 TEK 平均成绩计算表；非丹麦高校毕业者要提供学校评分制度说明。若学位项目仅以通过/不通过评价论文或毕业项目，还需由授予学位机构出具正式书面评估，明确申请者位列本专业毕业班前 30%。推荐信及其他相关资格证明可以一并提交。

所有文件必须为英文 PDF，丹麦 CPR 民事登记号码必须遮去；PDF 必须未加密、允许合并且不得设置密码。动机信上传至“Cover letter”，最大 5 MB；简历上传至“Resume”，最大 5 MB；其他材料上传至“Miscellaneous documents”，最多 10 个文件、每个不超过 50 MB。申请将由评审委员会审查，可能先进行短名单筛选，只有入围者会收到书面评价；面试和测试也可能纳入整体评估。

该职位是三年制带薪博士雇佣岗位，受 MSCA 博士网络和丹麦高校集体协议约束。MSCA 向雇主提供的月度毛额构成为：生活津贴 5,325.28 欧元、流动津贴 710 欧元，以及符合条件时的家庭津贴 660 欧元。这些数字是支付给雇主的毛额贡献，并非申请者最终到手工资；实际工资需要扣除雇主成本，并缴纳丹麦所得税和社会缴费。相关研究生阶段经历可能影响在丹麦集体协议中的薪级。录用还以博士学院批准注册为前提。由于研究涉及关键技术，学校可能依据公开信息对候选人进行背景审查。

申请要点

• 学位：计算机科学、软件工程或密切相关领域硕士；可在入职前完成，但正式注册和雇佣时必须具备相当于丹麦硕士的学位。

• 技能方向：编程语言设计/实现、函数式或声明式编程、C/C++/Rust/Python/Haskell、算法分析、模拟与能耗建模、嵌入式/实时/机器人软件中的部分经验。

• 非硬性前置：不要求无人机、嵌入式硬件或可逆计算经验。

• 语言与协作：英语口头和书面流利；能够独立工作、参与国际团队并为派驻和网络活动出行。

• MSCA 资格：招聘时不得持有博士学位；过去 36 个月内在丹麦居住或开展主要活动不得超过 12 个月；国籍不限。

• 材料：动机信、简历、36 个月居住/活动说明、论文清单和最多两篇代表作（如有）、本科和硕士证书及成绩单与正式英文翻译、TEK 表格、非丹麦高校评分制度说明；特定通过/不通过评分项目另需前 30% 证明。

• 文件格式：全部为英文、未加密且可合并的 PDF；遮去 CPR 号码；动机信和简历各不超过 5 MB，其余材料最多 10 份、每份不超过 50 MB。

• 联系人：Ulrik Pagh Schultz 教授，ups@mmmi.sdu.dk。

• 截止时间：2026 年 11 月 1 日 23:59（CET/CEST）。

• 入职与期限：优先从 2027 年 1 月 1 日起入职，具体日期与录取者协商；合同三年。

• 薪酬框架：MSCA 对雇主的月度毛额贡献包括生活津贴 5,325.28 欧元、流动津贴 710 欧元及符合条件时家庭津贴 660 欧元；最终工资按雇主成本、税费和丹麦集体协议计算。

需要进一步确认

• 申请者最终可获得的税前和税后月薪、雇主成本扣除项目、养老金安排及具体薪级。

• 博洛尼亚大学和曼彻斯特大学派驻的预计时长、时间节点以及差旅和住宿承担方式。

• 该职位最终采用的可逆语言、建模工具、硬件平台与栖停式无人机或物联网测试场景。

• 中国学历与丹麦硕士等同性的正式认定流程，TEK 5+3 表格是否适用于具体申请者。

• 背景审查的范围、时间和对关键技术研究参与权限可能产生的影响。

• 家庭津贴的适用条件，以及推荐信是否会影响短名单评审。

PhD 项目深度调研报告：面向节能信息物理系统的可逆编程

申请判断

判断：适合希望在系统层面检验节能主张的编程语言／软件研究者。 E-CoRe DC12 的问题是如何用可逆语言实现 CPS 算法，以及估算的节能幅度怎样随 I/O 特征变化。研究结合语言实现或扩展、栖停式无人机／IoT 仿真、硬件与系统联合能耗模型。逻辑可逆提供研究基础，不证明整机飞行、传感或通信能耗必然下降。SDU 的 CPS 环境与 Schultz 的编程和机器人背景提供应用支撑。

主要顾虑不在于研究主题是否有价值，而在于项目执行层面的若干关键信息尚待确认。申请者在作出判断前，应核实具体采用的可逆语言工具链、第一年的基准测试系统、税后薪资、异地研修安排，以及适用于该职位的资助协议编号。

最匹配的申请者应具备编程语言实现或软件工程方面的扎实积累，同时愿意处理仿真、能耗估算、机器人或 IoT 场景以及实证评估。若申请者希望攻读纯硬件方向的博士，或者只想从事野外机器人研究、对编程语言理论兴趣有限，那么本项目的匹配度会较低。

研究方向与领域前景

潜在研究切入点

• 使用可逆语言实现选定的 CPS 算法，并与传统实现进行比较。
• 建立能够区分计算、I/O、传感、通信和仿真开销的能耗模型。
• 按项目主题所提示的方向，检验节能效果与 I/O 强度之间的相关性。
• 只在具体 CPS 场景确有需要时，扩展可逆语言构造或编程范式。
• 使用无人机或 IoT 仿真，展示可逆计算在哪些场景中具有潜力，以及在哪些场景中其收益会被非计算成本抵消。

领域发展态势

可逆计算之所以值得研究，是因为传统计算在擦除信息时会丢失信息并耗散能量。E-CoRe 将其视为计算可持续性问题，并围绕可逆语言、算法、体系结构和应用组织研究（E-CoRe homepage）。SDU 关于 E-CoRe 的文章进一步说明了无人机应用逻辑：对于普通多旋翼飞行，可逆计算不太可能主导整体能耗；但当平台进入低功耗观测状态，能耗主要来自传感、相机、软件或 AI 时，可逆计算可能更有价值（SDU article）。

从编程语言角度看，这一研究前沿确实存在，但仍处于研究阶段。一篇 2023 年开放获取论文从编程语言视角综述了可逆计算，总结了程序求逆、逆向解释、纯可逆语言及其相关理论基础（ScienceDirect article）。

就业与市场前景

相关就业市场并不局限于可逆计算。Workindenmark 指出，丹麦对科技、ICT 和机器人领域人才需求较强，涉及软件开发、数据分析、AI/ML 以及自动化和机器人工程等岗位（Workindenmark ICT and robotics）。欧盟委员会的 Digital Decade 材料则指出，ICT 专业人才以及 AI、云计算、数据和先进数字技术应用方面仍存在结构性缺口（European Commission Digital Decade）。

职业发展方面的关键在于成果是否容易被外界理解和评价。前沿主题的博士研究需要产出清晰可见的成果，例如可复用的软件、基准测试、论文，以及对“技术何时有效”的明确说明。仅仅提出可持续计算的宏大愿景并不足够。

学校、学科与培养

SDU 是一所具有良好学术信誉的欧洲公立大学，在工程和机器人领域具备与本项目相关的研究基础。其综合排名表现稳健：THE 将 SDU 列入 2026 年全球第 251—300 名，计算机科学位列 401—500，工程学位列 301—400（THE profile）；QS 将 SDU 列为 2027 年世界大学排名并列第 283 名（QS profile）；ShanghaiRanking 将 SDU 列入 ARWU 第 301—400 名（ShanghaiRanking profile）。

就本项目而言，比综合排名更重要的是研究环境与课题的契合程度。SDU UAS Center 位于欧登塞，并参与无人机与自主系统相关教育（SDU UAS Center）。Maersk Mc-Kinney Moller Institute 下设 SDU UAS Center、SDU Software Engineering、SDU Robotics、SDU Centre for Software Technology 等相关单位（MMMI centres and sections）。其中，SE4CPS 实验室与本项目尤其相关，其研究重点明确包括信息物理系统的软件工程、编程环境、仿真、数字孪生和可持续系统（SE4CPS lab）。

当地产业生态也具有参考价值。Odense Robotics 介绍了丹麦国家机器人集群所提供的行业网络、资助与创新支持（Odense Robotics）。这并不能保证毕业后的就业结果，但说明欧登塞的产业环境比普通计算机院系所在地更贴近本项目方向。

导师与实验室评估

导师研究方向

Ulrik Pagh Schultz 的 SDU 官方资料与项目主题高度一致。他是教授兼 SDU UAS Center 负责人，研究关键词包括机器人编程、编程语言与形式化模型、编译器与解释器，以及软件技术（SDU Pure profile）。DBLP 还提供了其计算机科学论文记录，可用于进一步核查（DBLP profile）。

他与可逆计算的直接关联可见于开放获取的 Springer 章节 Reversible Control of Robots。该研究讨论了机器人操作中的逆向执行（Springer chapter）。这表明本项目并非只停留在“绿色计算”的概念层面；Schultz 的机器人研究与可逆性之间已有公开文献支持的联系。

近期重要论文

近期公开成果主要集中在无人机系统和野外机器人领域。WildDrone: autonomous drone technology for monitoring wildlife populations 展示了团队当前在自主无人机、计算机视觉与野生动物监测方面的研究实力（Frontiers article）。

一篇 2026 年论文研究了由 SORA 2.5 指导的 BVLOS UAS 运行，分析保护场景中的风险评估、运行证据与野外操作流程（Drones paper）。一篇 2025 年关于无人机干扰的综述归纳了野生动物研究中的运行限制与伦理约束（Drones review）。此外，一篇 2026 年发表于 Ecology and Evolution、研究无人机噪声的论文中，Schultz 参与了项目管理、资源提供和指导工作；该成果与低干扰无人机运行有关（Wiley article）。

这里需要作出更细致的判断：导师和研究中心在 CPS 与无人机应用方面具有较强可信度，但其最新公开成果并不主要聚焦可逆编程语言。因此，申请者应进一步询问，E-CoRe 中哪些合作者会在日常研究中提供可逆语言和能耗建模方面的深入指导。

实验室、资源与合作环境

E-CoRe 网络使这一项目不局限于 SDU 校内的单一博士课题。官方 Work Package 4 页面列出了 DC12 “Energy Efficiency in Cyber-Physical Systems”，导师为 SDU 的 Ulrik Pagh Schultz（E-CoRe WP4）。E-CoRe 官网将其描述为一个 MSCA 博士网络，共设 13 个博士职位，覆盖 9 个国家，工作包涉及语言、算法、体系结构和应用（E-CoRe homepage）。

保存的招聘写资助编号 101120187，而 CORDIS 的 E-CoRe 记录为 101226672，差异尚未解决。后者项目类型为 MSCA Doctoral Network，由 University of Bologna 协调，SDU 为参与单位之一（CORDIS E-CoRe）。SDU 自身的 Pure 项目记录则将 Schultz 列为 SDU 项目负责人，并注明 E-CoRe 归属 SDU UAS Center/MMMI（SDU E-CoRe record）。

资助、申请与生活成本

项目资料将该职位描述为 MSCA Doctoral Network 职位。欧盟文件解释了 MSCA Doctoral Network 的预算类别，包括生活津贴、流动津贴和家庭津贴，并说明了各国扣减项和国家修正系数等原则（EUR-Lex MSCA text）。这些数字不能直接理解为税后薪资。

SDU 面向国际员工的指南更适合用来理解实际雇佣条件，其中涵盖集体协议、养老金、平均每周 37 小时工作制、休假规则和税务（SDU working in Denmark）。丹麦移民部门的指南也说明，领取工资的博士生可以通过雇佣合同证明其经济保障能力（New to Denmark）。

欧登塞支出须与个人工资及派驻条件一起预算。SDU 提供的欧登塞学生预算示例中，房租约为 DKK 3,800，餐饮约为 DKK 1,400—1,800；若以自行车为主要交通方式，交通成本较低，电话与学习支出也较为适中（SDU living costs）。SDU Campus House 的单人间房租约为 DKK 3,500，不含公共事业费用，但押金金额较高（Campus House Odense）。

保存的岗位为三年带薪雇佣，优先 2027 年 1 月 1 日起入职，日期可协商；截止 2026 年 11 月 1 日 23:59 CET／CEST，联系 ups@mmmi.sdu.dk。公告列月度雇主毛额贡献：生活 €5,325.28、流动 €710、符合条件时家庭 €660；个人工资须扣雇主成本、丹麦税务与社会缴费，按集体协议及可能适用的研究生阶段经历定薪，不是到手收入。

准入与提交细则

相关计算机／软件工程硕士须在注册及雇佣前完成，等值由学校判断。不要求已有无人机、嵌入式硬件或可逆计算经验；列举的编程语言也不是每种必须掌握。需有相关部分软件、语言、算法或建模经验和流利英语。

招聘时不得持博士，已答辩待授位者也不合格。丹麦居住／主要活动在前 36 个月内不得超过 12 个月，规定的短假、义务兵役及 1951 年难民公约时间不计。国籍不限，仍须通过个人入学及可能的关键技术背景审查。

材料包括动机信、CV、36 个月居住／活动说明、论文清单及如有最多 2 篇代表作、本科和硕士证书成绩与正式英译；5+3 适用者交 TEK 博士申请表，所有人交 TEK GPA 表，非丹麦高校另附评分制度。只有论文按通过／不通过评定的学制，才须学校出具明确列入毕业班 前 30% 的书面评估。推荐信及其他资格可附，不一概写成必交。

全部为英文、未加密、可合并且无密码的 PDF，遮去丹麦 CPR 号码。动机信放 Cover letter，≤5 MB，CV 放 Resume，≤5 MB；其他放 Miscellaneous documents，最多 10 份、各≤50 MB。可能先短名单再面试／测试，仅入围者获书面评价；雇佣取决于博士学院批准注册。申请制度

申请者匹配度与准备建议

较适合的申请者

• 具有编程语言、编译器或解释器、软件工程或算法背景的申请者。
• 能使用 C、C++、Rust、Python、Haskell 或类似语言，并能够解释设计取舍的申请者。
• 对信息物理系统的仿真、建模和能耗估算感兴趣的申请者。
• 能够在国际博士网络中协作，并能配合异地研修出行安排的申请者。

以下情况需要谨慎评估

• 希望攻读纯硬件电子方向博士。
• 主要希望参与无人机野外试验，对编程语言理论兴趣有限。
• 无法展示独立完成的软件实现成果。
• 希望在入学前所有研究内容都已完全明确，并且项目整体风险较低。

建议补强的技能与证明材料

可以准备一份简洁的作品集，包括一个小型编译器、解释器或 DSL 项目，一份仿真或基准测试 notebook，以及一页关于如何在 CPS 场景中评估可逆编程的研究陈述。联系导师前，阅读可逆编程综述（ScienceDirect article）和 Schultz 的可逆机器人章节（Springer chapter）也会有所帮助。

下一步与待确认问题

以下按申请进程安排沟通。具体提交要求仍以项目的正式申请说明为准。

提交申请前

• 第一年将使用哪些具体的可逆语言、建模框架和能耗估算工具？
• 哪些联合导师分别负责编程语言、能耗建模、University of Copenhagen 合作、Bologna 合作，以及 Manchester 异地研修？
• 是否已有可供申请者继续开发的可逆语言代码库？
• 项目预计在编程语言、软件工程或 CPS 领域的哪些会议或期刊发表成果？

联系导师或面试时

• 这一 DC12 职位具体对应哪个资助协议编号？为什么该编号与公开的 E-CoRe/CORDIS 记录不同？
• 哪些背景审查或关键技术限制可能影响申请者？
• 第一年的基准测试将采用无人机仿真、IoT 传感场景，还是更抽象的 CPS 模型？
• 教学、科普活动或协助指导学生的工作量有多大？
• 处理行政事务或完成日常工作是否需要丹麦语？

接受录取前

• 已确认的税前工资是多少？养老金如何处理？预估税额和现实的月度税后收入区间分别是多少？
• Bologna 和 Manchester 的异地研修各持续多长时间？哪些差旅和住宿费用可以报销？

证据与来源

本次复用完整已存报告与认证招聘，没有新增外网核验或论文阅读，未重新确认当前名额或政策变化。无人机实地研究／综述说明应用环境，不证明可逆计算已测得节能。文献按现有摘要与已知贡献理解，不补完整署名或声称新增全文核读。两项资助编号差异保留，未自行合并。

• E-CoRe WP4 DC12 topic
• E-CoRe network homepage
• CORDIS E-CoRe project fact sheet
• SDU E-CoRe project record
• SDU UAS Center
• SE4CPS Laboratory
• MMMI centres and sections
• Ulrik Pagh Schultz SDU profile
• DBLP profile
• Reversible Control of Robots
• Reversible computing from a programming-language perspective
• WildDrone article
• BVLOS UAS conservation article
• Drone disturbance review
• Drone-noise article
• THE SDU profile
• QS SDU profile
• ShanghaiRanking SDU profile
• SDU TEK PhD application information
• SDU international staff guide
• EUR-Lex MSCA unit contributions
• SDU living costs
• SDU Campus House Odense
• New to Denmark PhD support guidance
• Workindenmark ICT and robotics
• European Commission Digital Decade package
• Odense Robotics