BYR Achieve · 镜像论坛

新加坡国立大学（NUS；QS 排名第8）计算机科学系现招募博士后研究员（Research Fellow）及研究助理（Research Assistant）若干名，研究方向为利用 AI Agent 进行软件测试与验证。 ━━━━━━ 项目背景 ━━━━━━ 随着大语言模型（LLM）和 AI Agent 的快速发展，软件工程领域正在经历深刻变革。AI 不仅能够生成代码，更有望在软件测试、漏洞挖掘、程序验证等关键环节实现自主推理与决策。本团队依托新加坡国立研究基金会（NRF）资助的长期研究项目，致力于构建具备自主推理能力的 AI Agent，开展以下高水平研究： ◆ Agentic Testing：结合 LLM 推理能力与经典程序分析技术（如符号执行、混合模糊测试），实现智能化的漏洞挖掘与软件测试 ◆ Agentic Program Verification：利用 AI Agent 进行程序验证与形式化推理，推动"可信自动编程"愿景的实现 ◆ Agentic Cyber Reasoning System：构建端到端的自主网络推理系统，涵盖漏洞发现、分析与修复的全链条 ━━━━━━ 招募对象 ━━━━━━ ▍博士后研究员（Research Fellow） o 已获得或即将获得计算机科学、软件工程、网络安全等相关方向博士学位 o 在以下一个或多个领域具备研究经验：程序分析、软件测试、形式化方法、LLM for SE、系统安全 o 具有良好的学术发表记录，能够独立开展科研工作 ▍研究助理（Research Assistant） o 计算机科学或相关专业本科/硕士毕业（或在读高年级学生） o 对程序分析、软件验证、AI for SE 等方向有浓厚兴趣 o 有相关研究或项目经验者优先；适合计划申请 PhD 或有志于长期从事科研工作的同学 ━━━━━━ 你将获得 ━━━━━━ o 具有竞争力的薪酬，参照 NUS 及新加坡市场标准 o 在顶级会议发表高水平论文的机会（S&P、USENIX Security、NDSS、CCS、ICSE、FSE、ASE、ISSTA 等） o 表现优异的 RA 可获得博士推荐或在组内直接攻读博士的机会 o 与国际一流研究团队合作，积累科研经验与学术人脉 ━━━━━━ 合作导师 ━━━━━━ ▍Abhik Roychoudhury 教授 NUS 教务长讲席教授，ACM Fellow，曾担任 ICSE、FSE、ISSTA 等旗舰会议主席，现任 ACM TOSEM 主编及 Communications of the ACM 编委。长期从事软件分析与测试、程序修复、Agentic AI 研究，曾获 ICSE 最具影响力论文奖及 IEEE New Directions Award。AutoCodeRover 联合创始人（已被 SonarSource 收购）。主页：https://abhikrc.com ▍罗正雄（Zhengxiong Luo）博士 NUS 博士后研究员，新加坡研究基金会 NRF Postdoctoral Fellowship 获得者（面向全球申请的 Top-tier Fellowship，提供向 AP 阶段过渡的高强度基金支持），清华大学博士。目前研究 AI Agent 驱动的软件安全分析，在 S&P、USENIX Security、FSE、DAC 等发表十余篇论文，曾获 ACM SIGBED-SIGSOFT Frank Anger Memorial Award、ACM 中国优秀博士论文奖提名等荣誉。主页：https://fouzhe.github.io ━━━━━━ 申请方式 ━━━━━━ 请将个人简历（CV）发送至：fouzhe15@gmail.com 邮件标题请注明：姓名 – 申请职位（Research Fellow / Research Assistant）我们将对符合条件的候选人安排面试。职位招满即止，欢迎尽早申请！

新加坡国立大学招聘博士后/研究助理