博士研究生岗位：形式语言系统的推导及其正确性研究

该项目旨在从数学含义出发推导形式语言，从而提升软件开发中语言设计的效率。研究人员将利用范畴论和类型论，通过Agda证明助手来验证这些研究成果。具备数学或计算机科学背景至关重要，且优先选择在相关理论领域有经验者。

职位说明： 您的职责包括： 无论是独立开展研究，还是作为团队一员参与研究，均可从事此项工作。 例如，参与代尔夫特理工大学及荷兰的科研活动，包括参加并组织研讨会。 参与更广泛的科学活动，包括发表论文以及参加研讨会和会议。 为计算机科学教学贡献力量，提供获取教学经验的机会。

职位要求： 申请将依据以下标准进行评估： 数学、计算机科学或相关领域的硕士学位 在范畴论与理论计算机科学领域（如类型论、逻辑或编程语言语义）具有相关经验，或具备学习这些领域的强烈动力与能力。 熟悉证明助手工具（如 Agda、Rocq 或 Lean）将视为加分，但并非必需。 对精准数学推理的享受， 具备独立工作及在数学与计算机科学领域之间协作的能力； 优秀的书面与口语英语水平 愿意参与学生指导与教学工作，并具备相关经验 代尔夫特理工大学（代尔夫特大学） 代尔夫特理工大学建立在坚实的基础上。作为世界著名的荷兰水利工程的创造者及生物技术的先驱，该大学是融合科学、工程与设计的顶尖国际学府。它在教育、研究与创新领域提供世界一流的成果，以应对能源、气候、交通、健康及数字社会领域的挑战。几代以来，我们的工程师始终展现出企业家精神，成为商业与社会领域的问题解决者。 在代尔夫特理工大学，我们将多样性视为核心价值观之一，积极致力于打造一个让您感到宾至如归且能够充分发挥才能的大学。我们重视不同的视角与品质。我们认为，这使得我们的工作更具创新性，代尔夫特理工大学社区更加充满活力，世界也变得更加公正。通过共同想象、创新并运用技术创造解决方案，我们在全球范围内产生积极影响。因此，我们诚邀您申请。您的申请将得到公平对待。 挑战。变革。影响！ 电气工程、数学与计算机科学学院 电气工程、数学与计算机科学学院（EEMCS）汇集了三个科学领域。这些学科相互协作，共同构成了我们日常生活中所使用的技术的核心动力。该学院正在致力于使电力网络这种技术完全实现可持续化并具备未来适应性。同时，我们正在研发未来的芯片与传感器，并为运行在新一代设备上的软件技术奠定基础——当然也包括人工智能技术。 同时，我们正在突破应用数学的界限，例如利用单细胞数据来研究疾病进程，以及利用数学方法模拟火山爆发后的巨大火山灰柱。换句话说，该学院为开创性研究提供了广阔的空间。我们培养创新的工程师，并拥有优秀的实验室与设施，这凸显了我们的强大国际地位。总计有超过1000名员工和4,000名学生在此创新的环境中工作学习。 点击此处进入电气工程、数学与计算机科学学院的网站。

Conditions of employment: Doctoral candidates will be offered a 4-year period of employment in principle, but in the form of 2 employment contracts. An initial 1,5 year contract with an official go/no go progress assessment within 15 months. Followed by an additional contract for the remaining 2,5 years assuming everything goes well and performance requirements are met. Salary and benefits are in accordance with the Collective Labour Agreement for Dutch Universities, increasing from €3204 - €4051 gross per month, from the first year to the fourth year based on a fulltime contract (38 hours), plus 8% holiday allowance and an end-of-year bonus of 8.3%. As a PhD candidate you will be enrolled in the TU Delft Graduate School. The TU Delft Graduate School provides an inspiring research environment with an excellent team of supervisors, academic staff and a mentor. The Doctoral Education Programme is aimed at developing your transferable, discipline-related and research skills. The TU Delft offers a customisable compensation package, discounts on health insurance, and a monthly work costs contribution. Flexible work schedules can be arranged. Will you need to relocate to the Netherlands for this job? TU Delft is committed to make your move as smooth as possible! The HR unit, Coming to Delft Service , offers information on their website to help you prepare your relocation. In addition, Coming to Delft Service organises events to help you settle in the Netherlands, and expand your (social) network in Delft. A Dual Career Programme is available, to support your accompanying partner with their job search in the Netherlands.

Application procedure: Are you interested in this vacancy? Please apply no later than 29 November 2026 via the application button and upload the following documents: CV Motivational letter Transcripts from your Masters degree (if available). You can address your application to ［会员专属信息］. Applications will be reviewed on a rolling basis. We encourage candidates to submit their application at the earliest opportunity. Doing a PhD at TU Delft requires English proficiency at a certain level to ensure that the candidate is able to communicate and interact well, participate in English-taught Doctoral Education courses, and write scientific articles and a final thesis. For more details please check the Graduate Schools Admission Requirements . Please note: You can apply online. We will not process applications sent by email and/or post. As part of knowledge security, TU Delft conducts a risk assessment during the recruitment of personnel. We do this, among other things, to prevent the unwanted transfer of sensitive knowledge and technology. The assessment is based on information provided by the candidates themselves, such as their motivation letter and CV, and takes place at the final stages of the selection process. When the outcome of the assessment is negative, the candidate will be informed. The processing of personal data in the context of the risk assessment is carried out on the legal basis of the GDPR: performing a public task in the public interest. You can find more information about this assessment on our website about knowledge security. Please do not contact us for unsolicited services.