软件工程博士｜用行为规范和自动化测试检查 AI 编程代理生成和修改的代码

软件工程博士｜用行为规范和自动化测试检查 AI 编程代理生成和修改的代码

快速判断

有吸引力，但需要核实匹配度。 这是一项围绕软件工程核心问题展开的博士研究：怎样用人能理解的行为规范和可执行测试，约束 AI 编程代理，使生成或修改的代码持续符合利益相关方意图。BTH 的经验型软件工程和产业协作环境与主题契合。校方现行招聘页列出 2026 年 12 月 15 日 截止日期。

申请前请先确认导师团队、薪酬和具体经费。校方截至2026年11月5日列出的截止日期为2026年12月15日，但留存列表另有“已过期”标记，外部表单是否接受提交及准确截止时刻/时区尚未核实。

研究问题与博士工作

编程代理已经能够生成和修改代码，但当前测试通过并不代表代码符合利益相关方的真实意图。需求可能不完整、含糊、相互冲突，也可能随着软件演进而改变。项目希望把两类成果连接起来：一类是利益相关方可以阅读、讨论和确认的行为规范；另一类是可以重复运行、检查代理生成代码及后续改动的自动化测试。两者都需要能够追溯到需求和利益相关方意图，这也是项目保持人工监督的主要抓手。校方项目介绍

招聘说明列出四类工作：从需求、利益相关方意见、开发者与代理的对话及开发工件中捕捉和完善预期行为；与人一起发现和处理意图中的缺口、歧义与冲突；开发连接可读规范与可执行测试的方法，并维护两者的可追溯性；研究规范和测试如何引导、核验代理生成的改动，以及软件演进后如何保持有效。评估将关注缺陷发现、利益相关方理解和人工监督，并结合方法与工具开发、实验和产业案例。具体研究问题和技术选择将与导师团队共同制定，因此目前确定的是研究方向，而非固定实验流程。

值得与导师讨论的一种研究设计，是先定义“可追溯”的基本单位，例如需求、行为示例、测试与代码变更之间的关联，再比较代理使用或不使用规范关联测试时的表现。可观察的指标包括遗漏或误报行为、规范覆盖、回归缺陷发现、利益相关方理解、追踪关系的维护成本和人工复核负担。这些是从项目目标推导出的研究建议，并非招聘说明承诺的实验方案。

相关研究提供了可用的参照。TiCoder 让测试参与用户意图澄清；一项包含 15 名程序员的混合方法研究及后续模型实验显示，测试引导可能改善人对生成代码的判断。但该研究没有验证自主代理能否在长期演进的代码库中持续维护符合利益相关方意图的规范。TiCoder 测试驱动代码生成研究

测试执行本身也面临基础设施挑战。一项 ISSTA 研究在 50 个开源项目、14 种语言中测试了一个 LLM 代理设置和运行测试套件的能力，说明不同仓库的构建和测试环境并不一致。代理跨项目测试执行研究 一项 ASE 研究分析三种软件工程代理的 120 条轨迹和 2,822 次交互，显示评估多步过程和失败模式可能比只看最终代码更有信息量；不过它没有评估本项目提出的规范与测试干预。软件工程代理交互轨迹研究

面试时适合聚焦三个实际问题：第一年要覆盖哪些需求变化场景；什么样的错误算作人工控制失败；团队能否取得代码、开发者反馈及代理交互数据。招聘页尚未确认具体产业案例、代码库或日志访问权限。

学校、学科与培养

布莱金厄理工学院（BTH）是招聘页列出的雇主，也是该博士学科的培养机构。职位属于 ELLIIT 多校战略研究合作，但合作参与本身不能证明存在联授或双学位；博士培养应以 BTH 软件工程学科大纲为准。校方博士培养概览称，学校约有 110 名在读博士生，分布在九个学科。BTH 博士培养概览

软件工程博士培养的净学习期为四年、共 240 学分，其中课程至少 60 学分、论文至少 150 学分。每位博士生须制定并每年复核个人学习计划，且至少安排两名导师。招聘职位是全职、最长四年的研究聘用；若承担最多 20% 的教学或其他工作，聘用期可延长至五年。软件工程博士培养大纲 BTH 研究学习规划说明介绍了通常的培养流程，但个人学习计划仍需与导师确认。

BTH 的 Software Engineering Research and Education Lab Sweden 强调经验研究、循证软件工程和产业合作；研究主题包括 AI for Software Engineering、需求管理、软件质量、验证与确认。BTH 软件工程研究领域 校内 GENESIS 项目也在研究生成式 AI 对代码与文档工作流、采用障碍和软件质量的影响，并与 Ericsson、Axis 合作。不过，该项目页面列出的负责人不是本职位已确认导师，因此只能视为相邻研究活动，不能据此推断项目共享导师或经费。GENESIS 研究项目

排名证据需要谨慎解读。QS 页面显示 BTH 在 2021 和 2022 年的 QS 学科排名位于 601–650 档，但数据较旧，也不是该博士项目的质量评估。QS 院校档案 BTH 自身研究概览称其软件工程研究“全球第二”，但没有给出排名方法或比较范围，属于尚未独立核实的机构自述。BTH 研究概览

导师与研究环境

招聘页说研究问题和方法将与导师团队共同制定，但没有列出本项目的主导师或共同导师。Nauman Ali 是 BTH 软件工程教授，官方个人主页列出的研究兴趣包括软件测试、软件度量、经验研究和产业合作，与项目的测试和软件质量方向相交；但该主页不能证明他已被任命为本职位导师。Nauman Ali 官方主页 软件工程系人员目录可供核对实际团队成员。

Ali 及其合作者近期发表的研究显示出一定的方法和软件质量积累。2025 年一项 JabRef 案例研究用主题建模和领域专家判断分析了 5,560 条代码审查意见，识别出可测试性、可维护性和代码结构等常见质量问题。它有助于理解代理代码变更的审查问题，但仅涉及一个开源系统，并非对 AI 生成代码的直接研究。代码审查意见中的质量问题研究

另一篇 2025 年论文提出“价值、可行性、适用性”框架，帮助软件工程研究者及早判断研究问题的实践相关性；初步评估来自有 42 名资深研究者参加的研讨会，作者指出仍需进一步验证。Lean Research Inception 研究 2026 年一篇论文梳理 104 项云系统监控与异常检测研究；2024 年一项预印本则映射了 174 项软件分析研究，覆盖测试、需求、缺陷等主题。它们体现团队在循证总结和软件质量方面的近期工作，但都不是 AI 编程代理监督方法的直接证据。云系统异常检测监控数据研究 软件分析系统映射研究

申请者匹配、资助与生活成本

必要条件： 申请者须已获或将获研究生教育录取，并已完成技术、数学或科学领域的高等阶段学位，或具备足以胜任博士学习的同等知识。BTH 一般入学规则还接受硕士学位、至少 240 个高等教育学分（其中 60 个硕士阶段学分）或同等知识；软件工程博士大纲另设学科要求。博士入学要求 软件工程博士培养大纲

招聘说明明确要求较强的软件工程与编程能力，并对软件测试和代理式软件工程感兴趣。优先经历而非全部硬性门槛 包括：软件工程、计算机科学、人工智能或数据科学硕士；编程（如 Python）、版本管理和 CI/CD；LLM 编程代理或 AI 辅助开发经验；自动化或基于规范的测试、行为驱动开发、需求工程或可追溯性；实验、案例研究、调查或产业合作；英语表达能力。

申请材料包括背景和相关经验陈述、CV、经认证的学位证书与成绩单、两位推荐人的联系方式（初次申请不要求推荐信）、最早入职日期、如有则附发表清单，以及最高学历论文链接。可以用可复现的测试工具、需求到测试的追踪实例或代码变更评估来展示能力；这些属于准备建议，不是规定材料。

职位为 100% 全职临时聘用，研究期最长四年；可承担最多 20% 的教学等其他工作，聘期可能延至五年。BTH 通常优先通过博士生雇佣来资助博士学习，但招聘页没有公布起薪、工资进阶、养老金细节或具体资金来源。“未由欧盟研究框架资助”不等于没有资助。BTH 博士阶段资助规则和员工福利说明都未提供本职位的具体薪酬。

校方现行招聘页列出的截止日期为 2026 年 12 月 15 日，未说明具体时刻或时区。早前列表同时出现 23:59（Europe/Stockholm）和“已过期”标记，与目前校方页面显示冲突。11 月 5 日检查时，校方页仍显示申请入口，但尚未确认外部申请表是否可提交。递交前应核实入口和截止时间。

BTH 的 2026/27 交流生信息表估算瑞典生活成本约 10,656 瑞典克朗/月，包括食品、住宿、本地交通、电话/网络和杂项，并注明学校不提供自有学生宿舍。这只是交流生预算参考，不代表博士雇员实际生活成本或住房保障。由于薪酬未公开，无法可靠估算税后收入能否覆盖开支。BTH 2026/27 生活成本与住宿信息

瑞典公共就业服务部门每年两次更新五年职业需求预测；2026 年 6 月版本可作为较新的整体劳动力市场参考。其 2025 年就业机会分析把 Data/IT 列为机会较好的大领域，Statistics Sweden 的企业 ICT 调查也记录软件、网页与系统开发岗位。不过，这些数据不能预测“AI 代理监督”方向博士的具体就业机会。瑞典公共就业服务：职业与技能分析 瑞典公共就业服务：就业机会较好的职业 Statistics Sweden：企业 ICT 使用情况

下一步与待确认问题

申请前

1. 确认申请表是否开放，以及 12 月 15 日的准确截止时刻和时区。
2. 确认主导师、共同导师，以及产业合作和数据访问是否已经落实。
3. 索取起薪、工资进阶、养老金、聘期和书面资助安排。
4. 询问启动时可用的代理框架、编程语言、测试工具及代码库。
5. 核实国际申请者的英语证明要求及学位材料的认证或翻译格式。

面试时

讨论第一年的需求变化场景、基准代理与测试环境，以及如何衡量测试质量、缺陷发现、可追溯性、利益相关方理解和人工监督。询问产业代码、开发者记录和代理交互日志的隐私保护与发表限制，并确认工具开发、实验、定性分析及产业案例的预期比重。

接受录用前

取得书面薪酬、工资进阶、养老金、福利、聘期和资助来源；确认导师安排、指导频率、产业数据访问权限、数据保护规则、住宿方案，以及个人学习计划的年度审核流程。

证据与来源

项目、学校与培养

• 校方项目介绍与申请要求
• BTH 博士培养概览
• 博士入学要求
• 博士阶段资助规则
• 软件工程博士培养大纲
• BTH 软件工程研究领域
• BTH 研究学习规划说明
• QS 院校档案
• BTH 研究概览与年度报告数据

导师、研究环境与论文

• 软件工程系人员目录
• Nauman Ali 官方主页
• GENESIS 研究项目
• 代码审查意见中的质量问题研究
• Lean Research Inception 研究
• 云系统异常检测监控数据研究
• 软件分析系统映射研究
• TiCoder 测试驱动代码生成研究
• 代理跨项目测试执行研究
• 软件工程代理交互轨迹研究

资助、生活成本与就业环境

• BTH 员工福利
• BTH 2026/27 生活成本与住宿信息
• 瑞典公共就业服务：职业与技能分析
• 瑞典公共就业服务：就业机会较好的职业
• Statistics Sweden：企业 ICT 使用情况