蔚来蔚来AGI超星计划-多 Agent 协同操作下安全仲裁的理论边界研究
实习兼职数字技术地点：上海状态：招聘♡ 收藏
工作描述
任职要求
- 学历：计算机科学、应用数学、控制理论、形式化方法、经济学(机制设计方向)相关领域博士在读；
- 能力要求：
- 能独立完成从形式化定义到定理证明的完整工作，并且熟练掌握至少一种证明辅助工具：Coq / Isabelle / Lean / TLA+ / Alloy。
- 深入理解 Arrow 不可能定理、Gibbard-Satterthwaite 定理、May 定理等经典证明，能在新场景下迁移和构造类似的公理化证明路径。
- 掌握 Halpern & Pearl 的 actual causation 形式化，理解 Shapley val…登录查看完整工作描述
微信扫码，1秒登录
相关职位
实习阿里巴巴2027
1、计算机、人工智能、数学等相关专业硕士及以上学历（博士优先）； 2、具有扎实的 NLP、强化学习（RL）、LLM和Agent背景基础； 3、精通大模型原理与应用（如Transformer架构、预训练
更新于 2026-03-22北京|杭州
社招3年以上新浪&微博
1. 计算机相关专业本科及以上学历，211/985 院校优先。 2. 3年以上后端系统或基础架构研发经验，熟练掌握 Python，具备扎实的算法与数据结构功底；有 C/C++ 或 Go 经验者加分。
更新于 2026-07-27北京
社招算法
1、 计算机科学、人工智能、机器学习或相关领域，硕士及以上学历，有 AI相关产品或者研发经验者优先 2、 逻辑清晰，有团队协作精神，有责任心，乐于接受挑战； 3、有计算机相关背景，熟悉深度学习、计算机
更新于 2026-07-20北京|上海|深圳
校招A167310
1、2027届获得本科及以上学历，计算机、数学等相关专业优先； 2、具有优秀的基础算法、代码能力，熟练掌握C/C++或Python编程语言，ACM/ICPC、NOI/IOI、Top Coder、Kag
更新于 2026-03-28上海