Google AI Infra 智能体研究团队招聘，研究内核优化与可验证推理

Google AI and Infrastructure 旗下 AIS 团队负责人 Violet Peng 发文招聘全职与实习生。方向含多智能体框架驱动的内核优化、动态作业调度、仓库级代码优化，以及可验证推理与代码生成（形式化验证、数学物理定理证明）。还涉及长程智能体任务的省内存模型与后训练技术，目标为优化机器学习基础设施栈并加速基础科学发现，代表研究包括 Leap。