1、负责 AI4Math 相关算法研究与应用落地，包括自然语言理解、形式化语言（如 Lean4）等方向 2、跟踪 大模型 / 多模态 / Agent 前沿研究，推动技术创新与工程化部署； 3、与产品、工程团队紧密协作，基于 实时反馈机制 持续优化算法性能，参与开源项目与学术论文发表。

1、硕士及以上学历，计算机科学、电子工程、数学等相关专业，或具备同等研究经验； 2、扎实的 NLP / 多模态 理论基础，熟悉常见模型架构与训练方法； 3、具备从 0 到 1 推动 复杂算法系统落地 的经验与能力； 4、具备良好的工程实现能力，重视评测与可靠性，结果导向，具备自我驱动力； 5、有开源项目、论文发表或数学推理相关研究经验者优先。