职位编号 J20260401170146101442
大模型算法研究员（Math）
100-240万北京市研究生不限招聘 1 人预计佣金 265.4K20小时前刷新/4月1日 17:03发布
职位信息项目手册职位进展做单须知佣金规则发单顾问
寻访须知
必要条件:统招211以上学历+大厂/知名/大模型业务经验
优先条件:1、熟悉 形式化推理工具（如 Lean4、Coq、Isabelle）；
2、在 * / 自动定理证明 / 数学推理大模型 领域有研究成果；
3、对 多智能体系统（Agent） 或 知识增强型模型 有工程实践经验
目标公司/行业:BAT,TMD，一线大模型创业企业
必问问题:
待发单方补充
JD基本信息
岗位职责
1、负责 AI4Math 相关算法研究与应用落地，包括自然语言理解、形式化语言（如 Lean4）等方向
2、跟踪 大模型 / 多模态 / Agent 前沿研究，推动技术创新与工程化部署；
3、与产品、工程团队紧密协作，基于 实时反馈机制 持续优化算法性能，参与开源项目与学术论文发表。
任职要求
1、硕士及以上学历，计算机科学、电子工程、数学等相关专业，或具备同等研究经验；
2、扎实的 NLP / 多模态 理论基础，熟悉常见模型架构与训练方法；
3、具备从 0 到 1 推动 复杂算法系统落地 的经验与能力；
4、具备良好的工程实现能力，重视评测与可靠性，结果导向，具备自我驱动力；
5、有开源项目、论文发表或数学推理相关研究经验者优先。
所属行业:互联网
职能分类:算法研究员
工作城市:
北京，招聘1人，详细地址：北京市海淀区清华科技园B座
职位要求
学历要求:研究生·统招·985/211
工作年限:不限
薪资福利
年薪范围:100-240万 15薪
薪资福利:节假日都正常放假，不需要调休
团队架构
所属部门:-
汇报对象:算法负责人
下属人数:-
职级职称:-
部门架构:-
面试信息
面试轮次:3轮
视频面试:可以接受
面试流程:一面线上笔试，二面技术专家，三面负责人，HR面