NIO

蔚来AGI超星计划-多 Agent 协同操作下安全仲裁的理论边界研究

NIO  •  Onsite  •  2 hours ago
Apply
AI can make mistakes so check important info. Chat history is never stored.

Job Description

蔚来AGI超星计划-多 Agent 协同操作下安全仲裁的理论边界研究推荐投递

上海

校招

实习

数字技术

博士及以上

蔚来AGI超星计划

职位 ID:A98437

职位描述

课题介绍 当一辆智能网联车内部同时运行多个 AI Agent:驾驶 Agent、座舱 Agent、能量管理 Agent、OTA Agent 等,它们会在同一时刻对车辆操作产生各自的“意图”。这些意图经常会冲突:驾驶 Agent 想紧急制动,能量 Agent 想保护电池拒绝回馈,座舱 Agent 因为乘客通话请求平稳减速。 车辆必须在ms级内仲裁出一个联合操作。这个仲裁器,就是多 Agent 协同架构下的核心安全组件。 目前工业界各家的仲裁设计基本都是使用工程试错的范式:用优先级、用规则、用神经网络。当前还没有人能回答一个先验问题: 这样的仲裁器,在理论上最多能做到什么?是否存在某些性质组合,是任何仲裁器都不可能同时满足的? 这个课题的目标,就是给出这个问题的定理性答案。 预期产出 - 一个定理。度量依赖性:结论取决于安全度量选择的分界; - 一份完整证明。顶会/顶刊级别的数学严谨度,可投 AAAI / IJCAI / JAIR / IEEE T-IV; - 一份产业建议书。面向车企、标准组织、监管层,说明工程实践和标准制定应如何调整认知。

职位要求

  • 学历:计算机科学、应用数学、控制理论、形式化方法、经济学(机制设计方向)相关领域博士在读; - 能力要求: - 能独立完成从形式化定义到定理证明的完整工作,并且熟练掌握至少一种证明辅助工具:Coq / Isabelle / Lean / TLA+ / Alloy。 - 深入理解 Arrow 不可能定理、Gibbard-Satterthwaite 定理、May 定理等经典证明,能在新场景下迁移和构造类似的公理化证明路径。 - 掌握 Halpern & Pearl 的 actual causation 形式化,理解 Shapley value、Banzhaf index 及其公理化基础,能在多 Agent 场景中做因果归因的理论建模。 - 有在AI安全研究机构的工作或访问经历的优先 - 实习时长:6个月。

投递

NIO

About NIO

NIO is a pioneer and a leading company in the premium smart electric vehicle market. Founded in November 2014, NIO’s mission is to shape a sustainable and brighter future together. NIO aims to build a community starting with smart electric vehicles to share joy and grow together with users.

NIO designs, develops, jointly manufactures and sells premium smart electric vehicles, driving innovations in next-generation technologies in autonomous driving, digital technologies, electric powertrains and batteries. NIO differentiates itself through its continuous technological breakthroughs and innovations, such as its industry-leading battery swapping technologies, Battery as a Service, or BaaS, as well as its proprietary autonomous driving technologies and Autonomous Driving as a Service, or ADaaS.

NIO’s models for sale include the all-new smart electric flagship SUV ES8, the smart electric flagship coupe SUV EC7, the smart electric mid-large SUV ES7, the smart electric flagship sedan ET7, the all-new smart electric all-round SUV ES6, the all-new smart electric coupe SUV EC6, the smart electric mid-sized sedan ET5, and the smart electric tourer ET5T.

Industry
Unknown
Company Size
5,001-10,000 employees
Headquarters
Jiading, CN
Year Founded
Unknown
Website
nio.com
Social Media