岗位职责
面向蚂蚁超大规模真实软件系统，构建驱动软件安全自进化的智能体，实现从漏洞自动发现到自动修复的端到端闭环。
- 构建端到端的漏洞自动发现与修复智能体，负责整体工作流设计与各环节能力建设；
- 研究仓库级、跨服务的上下文选择与修复定位，以及多候选采样、验证器重排等推理策略；
- 构建补丁自动化验证体系，重点攻关补丁正确性验证能力，确保补丁真正修复漏洞、不可被绕过且不引入功能回归；
- 建设长期记忆与安全回归沉淀，实现同类变体清除，让智能体基于反馈持续自我改进。
职位要求
- 研究基础扎实：在程序修复、LLM Agent、程序分析、软件安全中至少一个方向有深入研究；
- 系统构建能力：具备复杂 Agent 系统或程序分析工具的设计与实现经验，熟悉 Python 及 Java/C/C++ 之一；
- 安全领域理解：理解漏洞机理与修复原理，能判断补丁是否真正修复且无功能回归；
- 科学实验素养：能独立定义问题、设计实验并严谨验证。 加分项：
- 安全/软工/AI 顶会论文发表，或参与过高水平安全竞赛（如 CTF、AIxCC）、有真实 CVE 挖掘经历；
- 熟悉 SWE-agent、OpenHands、PatchAgent 等系统，或 SWE-bench、SEC-bench、CyberGym 等基准；
- 有 SAST/DAST/IAST、补丁正确性验证、变体分析或代码知识图谱相关经验。
