蚂蚁集团招聘研究型实习生，方向为基于形式化方法的复杂轨迹数据合成技术研究

蚂蚁集团面向正在攻读计算机科学或相关 STEM 领域的学士、硕士、博士招聘研究型实习生，研究方向为基于形式化方法的复杂轨迹数据合成技术，涉及大模型智能体调用轨迹的建模与生成。任职要求包括掌握 Java、C/C++、Python、JavaScript 或 Go 中一种或多种编程语言，并有相关研究或行业经验，至少全职工作 3 个月；在国际会议或核心期刊发表论文者优先。