蔚来
实习蔚来AGI超星计划-多 Agent 协同操作下安全仲裁的理论边界研究
上海 · 实习 · 2027 届 · 博士
长期有效
任职要求
- - 学历：计算机科学、应用数学、控制理论、形式化方法、经济学(机制设计方向)相关领域博士在读
- - 能力要求：
- - 能独立完成从形式化定义到定理证明的完整工作，并且熟练掌握至少一种证明辅助工具：Coq / Isabelle / Lean / TLA+ / Alloy。
- - 深入理解 Arrow 不可能定理、Gibbard-Satterthwaite 定理、May 定理等经典证明，能在新场景下迁移和构造类似的公理化证明路径。
- - 掌握 Halpern & Pearl 的 actual causation 形式化，理解 Shapley value、Banzhaf index 及其公理化基础，能在多 Agent 场景中做因果归因的理论建模。
- - 有在AI安全研究机构的工作或访问经历的优先
- - 实习时长：6个月。
岗位描述
课题介绍
当一辆智能网联车内部同时运行多个 AI Agent：驾驶 Agent、座舱 Agent、能量管理 Agent、OTA Agent 等，它们会在同一时刻对车辆操作产生各自的“意图”。这些意图经常会冲突：驾驶 Agent 想紧急制动，能量 Agent 想保护电池拒绝回馈，座舱 Agent 因为乘客通话请求平稳减速。
车辆必须在ms级内仲裁出一个联合操作。这个仲裁器，就是多 Agent 协同架构下的核心安全组件。
目前工业界各家的仲裁设计基本都是使用工程试错的范式：用优先级、用规则、用神经网络。当前还没有人能回答一个先验问题：
这样的仲裁器，在理论上最多能做到什么？是否存在某些性质组合，是任何仲裁器都不可能同时满足的？
这个课题的目标，就是给出这个问题的定理性答案。
预期产出
- - 一个定理。度量依赖性：结论取决于安全度量选择的分界；
- - 一份完整证明。顶会/顶刊级别的数学严谨度，可投 AAAI / IJCAI / JAIR / IEEE T-IV；
- - 一份产业建议书。面向车企、标准组织、监管层，说明工程实践和标准制定应如何调整认知。
你的简历匹配这个岗位吗？
上传简历，AI 会对照这份 JD 指出你的差距和需要补强的地方
该岗位可能会问的问题
基于 运营 岗位的常见面试问题整理
我提到了电竞方面，另一个面试官就问我对于ig战队（lol）的看法，然后一道情景题：公司和ig方面有合作，怎样运营才能吸引ig粉丝使用我们产品
查看答题思路
1. 电竞营销=粉丝经济，核心是社区运营而非传统广告 2. 跨界合作：战队/选手/IP 联名，借粉丝流量 3. 内容策略：比赛直播/选手日常/粉丝二创/社区活动 4. 案例：用 STAR 讲一个电竞相关的运营策划
另一个面试官看我的专业（偏设计）就问我愿不愿意做产品设计方向，让我发作品集 大概就这些 #咪咕#<a href="/creation/subject/928d551be73f40db82c0ed83286c8783" target="_blank" class="s
查看答题思路
1. 核心概念：一句话说清这个问题的底层逻辑 2. 方法论/框架：用 STAR 原则或专业框架结构化回答 3. 实际案例：结合一个具体场景说明 4. 量化结果：用数据佐证你的观点
你认为内容运营需要具备哪些能力
查看答题思路
1. 内容运营=创作有价值的内容→分发到正确渠道→吸引目标用户→促成转化 2. 核心能力：选题能力（知道用户想看什么）、写作能力、数据分析能力（用数据迭代内容策略） 3. 生命周期：选题→创作→审核→发布→分发→数据回收→优化→二次传播 4. 优质内容标准：原创/有用/有趣/有共鸣/有行动引导
谈谈你理解的内容生命周期
查看答题思路
1. 真诚：为什么对这个方向感兴趣（具体经历/瞬间） 2. 匹配：你的能力和这个岗位的契合点 3. 成长：你希望从这个岗位学到什么 4. 贡献：你能为团队带来什么
自我介绍
查看答题思路
1. 我是谁（姓名+学校+专业，15秒） 2. 我做过什么（最相关的 1-2 个经历，30秒） 3. 为什么适合这个岗位（能力匹配，15秒） 4. 总时长控制在 1 分钟以内 5. 避免：念简历、说「我学习能力强」这种空话
更多面试题库功能即将上线
信息来源：企业官方招聘页。投递前请以官网信息为准。