职位描述
本站申请链接
博士职位 Find2Fix：利用透明人工智能减少软件错误
Find2Fix 将基于现代主动学习（PhD1）和合成（PhD2）技术，为从软件错误发现到缓解的整个过程设计首个开源工具。
您将研究人工智能领域的最新技术，并将其应用到我们的工业合作伙伴的实际软件问题中：ASML 和 DCODIS（一家初创公司）。这是一项具有技术挑战性的应用研究，其主要成果是一个概念验证工具，可帮助开发人员快速查找并修复包括安全漏洞在内的软件错误。您将通过使用状态机模型和基于 LLM 的解释，使不同步骤（包括发现的问题和建议的补丁）更易于理解，从而对 Find2Fix 管道进行创新。您将为社区提供第一个用于研究、教育和工业用途的自修复软件工具。您的研究成果将在国际人工智能、软件工程和安全领域发表和展示。
第一个职位侧重于利用从软件中学习到的行为模型发现新错误。您将通过实时学习此类模型来扩展模糊技术，并利用它们来：引导模糊器、发现逻辑故障并找出其根本原因。这项工作以代尔夫特理工大学网络分析实验室（www.cyber-analytics.nl）和CISElab（www.ciselab.nl）的工作为基础。
第二个职位的工作重点是为已经发现的错误寻找补丁。您将使用基于 Herb 工具包（herb-ai.github.io）的现代程序合成技术，研究和扩展基于模板和 LLM 的程序修复。
该项目是代尔夫特理工大学实验室与拉德布德大学数字安全和软件科学系的紧密合作项目。您将与团队的其他成员一起，在我们的工业合作伙伴处为 Find2Fix 技术建立演示器。
你们将在软件技术系算法研究组和软件工程研究组的网络分析和CISE实验室工作，导师为Sicco Verwer博士、Annibale Panichella博士和Sebastijan Dumancic博士。算法研究小组的目标是设计和理解算法的基本特性，以便在现实世界的应用中进行智能决策，例如在网络约束条件下协调电力负荷、规划集装箱码头的物流流程或查找系统故障的根本原因。除了应对可扩展性挑战，我们还致力于实现两个主要研究目标。首先，我们旨在了解如何学习对上游规划、调度和验证任务有用的模型，以及如何处理其不确定性。我们的第二个研究目标是了解如何在算法决策过程中有效地纳入利益相关者的行为和偏好。软件工程研究组非常注重实证研究，并与软件开发实践紧密合作。SERG 以其在软件测试、程序分析、软件库挖掘以及与行业合作伙伴密切合作的实证软件工程方面的研究而著称。
作为候选人，您将有机会与经验丰富的研究人员合作，参加各种会议，体验国际化的研究环境。该职位将以研究为主，也可选择参与教育和指导学生。
offer要求
拥有计算机科学、人工智能或数学硕士学位。
对计算机安全感兴趣。
除了具有好奇心，您还拥有出色的编程技能。
具备出色的英语书面和口头交流能力。
offer待遇
代尔夫特理工大学基础雄厚。作为世界著名的荷兰自来水厂的创建者和生物技术的先驱，代尔夫特理工大学是一所集科学、工程和设计于一体的国际顶尖大学。它在教育、研究和创新方面取得了世界一流的成果，能够应对能源、气候、交通、健康和数字社会等领域的挑战。世代相传，我们的工程师已被证明是企业和社会背景下的创业问题解决者。
在代尔夫特理工大学，我们将多样性作为我们的核心价值观之一，并积极致力于成为一所让您感到宾至如归并能蓬勃发展的大学。我们重视不同的观点和素质。我们相信，这将使我们的工作更具创新性，代尔夫特理工大学社区更具活力，世界更加公正。我们一起想象、发明和创造解决方案，利用技术在全球范围内产生积极影响。这就是我们邀请您申请的原因。您的申请将得到公平的考虑。
挑战。改变。影响！
电气工程、数学和计算机科学学院
电气工程、数学和计算机科学学院（EEMCS）汇集了三个科学学科。它们相互结合，相互促进，是我们日常生活中所使用的技术背后的驱动力。我们的学院正在帮助电网等技术实现完全的可持续发展和面向未来。与此同时，我们还在开发未来的芯片和传感器，并为新一代设备上运行的软件技术奠定基础，其中当然包括人工智能。与此同时，我们还在不断挑战应用数学的极限，例如利用单细胞数据绘制疾病过程图，以及利用数学模拟火山爆发后的巨大火山灰气流。换句话说：学院有足够的空间进行突破性研究。我们培养创新型工程师，拥有一流的实验室和设施，这些都彰显了我们强大的国际地位。共有 1000 多名员工和 4000 多名学生在这个创新的环境中工作和学习。
点击此处进入电气工程、数学和计算机科学学院网站。
聘用条件 博士候选人原则上将获得 4 年的聘用期，但采用 2 份聘用合同的形式。第一份合同为期 1.5 年，在 15 个月内进行正式的 “去/不去 “进度评估。如果一切顺利并达到绩效要求，则签订一份为期 2.5 年的补充合同。
工资和福利按照荷兰大学集体劳动协议执行，从第一年的每月 2901 欧元增加到第四年的 3707 欧元。作为博士生，您将进入代尔夫特理工大学研究生院学习。代尔夫特理工大学研究生院拥有一支由导师、学术人员和导师组成的优秀团队，为您提供令人鼓舞的研究环境。博士生教育计划旨在培养您的可迁移技能、学科相关技能和研究技能。
代尔夫特理工大学提供可定制的薪酬方案、医疗保险折扣和每月工作费用补贴。可以安排灵活的工作时间。
您是否需要为这份工作搬迁到荷兰？代尔夫特理工大学致力于让您尽可能顺利地搬迁！人力资源部门 “来代尔夫特服务 “在其网站上提供信息，帮助您做好搬迁准备。此外，”来代尔夫特服务 “还组织各种活动，帮助您在荷兰安顿下来，并扩大您在代尔夫特的（社交）网络。我们还提供 “双职业计划”，帮助您的随行伴侣在荷兰寻找工作。