研究型实习生-基于形式化方法的复杂轨迹数据合成技术研究当面告知
蚂蚁科技集团股份有限公司
2026-12-12 00:00:00
博士27届28届实习本科硕士
岗位详情
地区：
北京
专业要求：
计算机科学与技术
岗位职责：
研究领域：
大模型智能体
项目简介：
随着大模型技术的深入发展，智能体复杂调用轨迹数据成为模型跨越应用鸿沟，解决实际问题的关键数据；研究如何合成具有真实性与结构可控性的大模型Agent调用轨迹成为业务迫切需求。传统数据合成方法多基于统计建模或随机生成，缺乏对复杂逻辑规则与时序约束的表达能力，难以保证生成轨迹的行为合理性和语义正确性。形式化方法作为一种严谨的系统建模范式，能够利用时序逻辑、状态机或进程代数等工具，精确刻画Agent之间的调用规则、任务流程约束和异常处理机制。通过将大模型Agent系统的决策逻辑与协作协议进行形式化建模，可在生成轨迹的过程中嵌入可验证的行为规范，实现对调用顺序、分支路径、资源依赖等关键特征的精准控制。
招聘要求：
研究领域：
-目前正在攻读计算机科学或相关STEM领域的学士,硕士或博士学位
-具有一种或多种通用编程语言的经验,包括但不限于: Java,C/C ++ 、Python、JavaScript或Go
-具有上述研究领域的相关经验,包括行业经验或作为参与实验室研究
优先录用：
-对技术研究充满热情,具有产生新思想和创新的能力; 在自学,问题分析和解决方面表现出色
-在国际会议上或核心期刊发表一份或多份出版物或论文
-至少3个月的全职工作
公司介绍
蚂蚁科技集团股份有限公司
蚂蚁科技集团股份有限公司，成立于2000-10-19，位于浙江，法定代表人：韩歆毅，登记状态：存续，注册资本3500000万人民币，公司类型：民营/私企
蚂蚁集团是中国较大的移动支付平台支付宝的母公司，也是全球金融科技开放平台，致力于以科技推动包括金融服务业在内的全球现代服务业的数字化升级，携手合作伙伴为消费者和小微企业提供普惠、绿色、可持续的服务，为世界带来微小而美好的改变。