正在检索岗位…
Job opportunity · a6ca4193
工作地点
北京市
学历要求
硕士
适用届别
27届
工作经验
经验不限
招聘人数
以公告为准
招聘类型
实习
薪资待遇
面议 / 以公告为准
1. 前沿研究方向：大模型Agent轨迹合成与形式化验证的创新结合； 2. 技术深度与实践：形式化方法在工业界的落地应用，涵盖时序逻辑、状态机等核心技术； 3. 平台优势与转正机会：蚂蚁集团技术团队，优秀实习生可获得转正机会
任职要求尚未结构化录入，请以企业原始公告为准。
专业要求
理学, 计算机科学与技术, 工学, 计算机类, 软件工程, 自动化类, 自动化, 电子信息类, 电子信息工程, 统计学类, 数据科学