E04 自主智能安全智能安全

岗位职责1.大模型驱动的自主智能装备的安全评测与保障：针对传统测试与验证方法难以应对无穷状态与高维参数空间约束的瓶颈等挑战，聚焦大模型驱动装备的特有风险，研究大模型异常溯源与复杂决策逻辑的形式化建模与可解释性理论。2.突破智能装备异常行为机理模型构建方法、面向海量仿真的测验融合协同保障技术、基于场景融合的渐进式自愈技术。3.最终研发一套对标“DARPA可信自主智能“的虚实协同安全评测软件，实现在无人载具等场景下核心功能在概念层、行为级的可验证安全性。任职要求1.应届博士，具备扎实的机器学习、控制理论或形式化验证基础。2.熟悉大模型或自主智能系统安全分析。3.有仿真平台开发或异常检测项目经验。4.具备独立科研能力和团队协作精神。5.在相关领域顶级会议或期刊发表过论文者优先。