“高效节能网络物理系统可逆编程”博士研究生岗位（MSCA博士培养项目 E-CoRe 网络，DC12）

该博士项目旨在探索用于提升无人机和物联网 IoT 设备等信息物理系统能效的可逆编程语言。 申请者需实现软件，分析能源消耗情况，并研究能源节省与输入／输出 I/O 特性之间的关联。要求具备计算机科学或相关领域的硕士学位资格。

职位说明： 南丹麦大学 Maersk Mc-Kinney Moller 研究所下属的南丹麦大学无人机中心（SDU），现诚邀申请者申请为期3年的博士研究生岗位，研究可逆编程语言及其在节能网络物理系统中的应用。 该职位属于玛丽·居里博士培养计划 E-CoRe 项目中的博士研究生 DC12，“网络物理系统中的能效问题”。 该职位可自2027年1月1日起入职，具体开始日期将与成功候选人协商确定。 申请截止日期为2026年11月1日晚上11:59/23:59（CET/CEST）。 该职位由欧盟根据“地平线欧洲玛丽·居里行动博士网络”计划资助，项目协议编号：101120187。适用MSCA资格规则，详见下文的“我们的期望”。 有关该网络的更多信息，请访问**[会员链接]**。

聘用待遇： E-CoRe是一个关于可逆计算欧洲的博士网络。可逆计算不会丢失任何信息，因此能够避免传统计算所面临的基本能源下限问题。该网络培养一批博士候选人，他们将致力于改进并推广适用于高能耗应用的可逆语言、算法与架构。作为E-CoRe博士候选人之一，您将加入欧洲各合作大学的团队，参与联合培训课程与网络活动，并在合作伙伴机构接受交流访问，目前计划访问的合作伙伴机构包括博洛尼亚大学与曼彻斯特大学。 该职位针对一个应用领域的编程语言问题：在能源至关重要的系统中，如何使用可逆编程语言编写软件，以及能够节省多少能源？该应用场景涉及空中机器人及物联网设备这类网络物理系统的低能耗计算。此项研究属于 E-CoRe 应用工作包，并基于网络其他节点所开发的语言与工具进行开展。具体内容包括以下方面： 在可逆编程语言中实现算法，并在应用领域需要新构造或新范式时扩展这些语言。 将生成的软件集成到模拟的Cyber-物理系统中，例如无人机悬停及物联网感知场景。 通过结合硬件级与系统级分析，利用该网络中开发的建模框架，对能源消耗进行估算。 回答该职位的核心研究问题：可逆计算所带来的能源节省与系统的输入输出特性之间有何关联？ 以编程语言、软件工程及网络物理系统领域的期刊与国际会议的形式发表研究成果。 该职位可能涉及共同指导相关学生项目。您需参与无人机中心的项目组合及推广活动，并参加 E-CoRe 网络的培训计划。 我们的期望 我们期望您拥有计算机科学、软件工程或相关领域的硕士学位，或需在开课日期前完成相关学业。该研究项目的核心内容涉及编程语言与软件技术。您无需具备无人机或嵌入式硬件方面的经验，亦无需具备可逆计算方面的先前知识。然而，您应具备以下领域的相关经验，并对此具有浓厚兴趣： 可逆转编程语言的设计与实现。 功能式或声明式编程，或涉及主流语言之外其他语言的相关研究。 采用C、C++、Rust、Python或Haskell等语言进行软件设计与开发。 算法及其分析。 计算系统的仿真、建模或能量估算。 嵌入式、实时或机器人软件。 我们期望您能够流畅地使用英语进行写作与演讲，能够独立工作并参与国际团队合作，同时按照上述要求参加资料交换及交流活动。此外，我们期望您在知名国际会议和经过同行评审的期刊上发表研究成果。 该职位遵循玛丽·居里行动规定，您在招聘日期必须满足以下所有条件： 您未持有博士学位。已完成博士论文答辩但尚未获得学位的申请者不符合资格。 流动规则：在招聘日期前紧接的36个月内，您在丹麦居住或开展主要活动（工作、学习等）的时间不得超过12个月。短期停留如假期、强制国家服务以及1951年难民公约所涵盖的时间均不计入。 无论国籍如何，您均具备申请资格。 该招聘流程遵循《欧洲研究人员宪章》及《研究人员招聘行为准则》。该过程具有公开性、透明度、以成绩为依据且公平合理。该职位也将在 Euraxess 门户网站上公布。 工作描述 南丹麦大学无人机中心隶属于工程学院的马尔斯克-麦金尼-莫勒研究所，该中心位于奥邓塞的南丹麦大学主校区。我们在该中心研究民用无人机技术及其在农业、检测、能源、医疗保健和自然保护领域的应用。我们与奥邓塞地区的机器人领域企业以及丹麦及海外的研究合作伙伴密切合作。您将加入一个由博士生、博士后、工程师和教师组成的国际团队，共同研究自主系统及其背后的软件技术。