北京内推 | 深度求索DeepSeek招聘LLM4Math方向实习生

合适的工作难找？最新的招聘信息也不知道？

AI 求职为大家精选人工智能领域最新鲜的招聘信息，助你先人一步投递，快人一步入职！

深度求索

DeepSeek是一家探索通用人工智能（AGI）本质的公司，以开源汇聚更多的创造力和生产力，并致力于将研究、工程和商业三者融为一体。我们相信，AGI 是数据x算法x算力的完美实践，科研+工程+组织的优雅艺术。

我们正在寻找并长期培养优秀的数据研发人才，与我们一起进行高水平的科学研究和工程实践。如果你对人工智能有浓厚的兴趣，如果你想在一个充满挑战和机遇的初创环境中展现你的才华，如果你想参与构建下一代通用人工智能（AGI），那么请不要犹豫，加入 DeepSeek，与我们共同在 AGI 征程上“深度求索”吧！

LLM4Math方向实习生

坐标：北京

时间：实习时间3个月以上，每周可以现场实习至少4个工作日

岗位简介

目前DeepSeek在招募LLM for Math方向intern，致力于推动ATP和LLM推理领域的发展。非常期待研究兴趣包括不限于使用预训练模型求解数学文字题（Math Word Problem）、使用LLM 辅助自动定理证明（LLM4TP）, 并认为增强并利用LLM 的推理能力这个方向大有可为的同学加入我们，一起探索AGI的本质。

岗位要求

1. 了解并熟练掌握Lean、Isabelle和Coq等形式化定理证明语言中的一门或多门，不限定CS还是Math背景（Lean4优先，对应数学库有commit经历或参与过形式化证明项目者优先，了解对应语言元编程者优先，有训练或部署LLM辅助自动定理证明经验者优先；优先考虑形式化数学方向，软件验证方向也欢迎）；

2. 对探索AGI有极高的好奇心。

我们的优势

1. 顶尖GPU集群算力支持，快速迭代实验有影响力idea；

2. 与研究和工程能力兼备的团队成员合作，专注兼顾实际效果和研究深度的AGI方向；

3. 丰厚的实习待遇（500/天），非北京地区学生来京实习有租房补助（3000元/月）；

4. 实习期间表现优秀者，可直接获得转正名额。

 投递方式 

📪 mm.han@high-flyer.cn

邮件标题和简历标明：AGI大模型实习生-姓名-学校-电话-AI求职

---

实习内推

微软亚洲互联网工程院｜阿里通义实验室｜度小满金融数字人团队｜腾讯基础微信＆视频号团队｜微软WWE大模型团队｜中电信AI公司｜VIVO影像算法研究部｜北京智源人工智能研究院｜字节跳动国际化短视频团队｜小红书智能创作团队｜微软亚洲研究院｜智谱AI｜浙江清华长三角研究院｜Infinity Ground｜阿里通义灵码团队｜腾讯PCG大搜团队｜百度智能办公平台部｜VIVO AI研究院｜京东物流地图数据部门｜微软亚洲研究院｜腾讯混元AIGC团队｜商汤基础多模态大模型组｜AMD北京AI算法团队｜小红书信息流算法组｜海康威视研究院｜亚马逊上海人工智能研究院｜腾讯AI Lab｜中国电信人工智能研究院｜百度⽂⼼（ERNIE）团队｜阿里通义实验室对话智能团队｜微软亚洲研究院DKI组｜蚂蚁集团

校招岗位

智源人工智能研究院｜阿里云PAI深度学习算法团队｜秘塔科技｜美柚研究院｜百度搜索策略部｜淘宝搜索算法团队｜百川智能｜IDEA数字经济研究院｜百度搜索策略部｜阿里达摩院视觉技术实验室｜地平线｜阿里巴巴淘天集团｜阿里达摩院对话智能团队｜百度文心一言团队｜京东零售内容算法部｜蚂蚁网商银行智能引擎团队｜腾讯AI Lab决策智能中心｜理想汽车智能座舱团队｜阿里通义实验室对话智能团队｜元象XVERSE｜蚂蚁集团算法数据技术团队｜腾讯游戏AI大语言模型团队｜秘塔科技｜上海算法创新研究院｜VIVO影像算法研究部｜亚马逊上海人工智能研究院｜腾讯游戏手游业务安全团队

社招岗位

蚂蚁集团机器智能团队｜腾讯游戏AI大语言模型团队｜京东广告研发部｜阿里通义实验室对话智能团队｜NVIDIA中国｜腾讯混元大模型团队｜秘塔科技｜途深智合｜蚂蚁集团风险智能团队｜昆仑万维AI游戏团队｜小红书社区搜索组｜阿里达摩院多模态团队｜上海算法创新研究院｜新东方教育科技集团｜快手大模型训练引擎团队｜小红书｜快手大模型中心｜VIVO影像算法研究部｜小红书智能创作团队｜京东零售九数算法中台｜Infinity Ground｜OPPO AI中心大模型算法部｜上海期智研究院｜抖音搜索生活服务团队｜腾讯混元AIGC团队｜亚马逊上海人工智能研究院｜商汤研究院基础语言模型团队｜得物App

高校招生

澳门大学郑哲东教授｜大湾区大学乔子越老师｜西湖大学蓝振忠老师｜香港科技大学（广州）丁宁宁老师｜大湾区大学余梓彤老师｜香港中文大学（深圳）陈锐老师｜香港科技大学（广州）汤南教授｜医疗大数据与医学智能实验室｜香港理工大学林婉瑜老师｜香港科技大学郭嵩教授｜亚利桑那大学杨幻睿老师｜中山大学苗嘉旭教授｜香港科技大学（广州）谢泽柯老师｜武汉大学罗勇教授｜上海交通大学张倬胜老师｜香港中文大学（深圳）林天麟老师｜香港城市大学马佳葳老师｜南方科技大学张建国教授｜浙江大学智能生物医用大分子实验室｜香港科技大学雪巍老师｜南方科技大学-香港中文大学（深圳）｜清华大学MARS Lab｜多伦多大学孙强教授｜香港科技大学（广州）聂强老师｜西湖大学吴泰霖老师｜得克萨斯A&M大学黄冠豪老师｜上海科技大学屠可伟老师｜深圳大学光明实验室

加入社群  🌟

为了更好地了解和满足大家的需求，我们建立了「求职者社群」。

加入 AI 求职社群，你可以享有招聘需求曝光、获取最新面试经验、校招准备攻略、硕博招生和独家内推渠道等服务。

扫描下方小助手的微信，pick 你心仪的岗位~

---

如何发布招聘

AI 求职是「PaperWeekly」旗下聚焦人工智能领域的招聘平台，涵盖高校硕博招生、博士后招募、企业校招、社招、实习和内推等。

目前已有百度、阿里、腾讯、字节跳动等企业发布内推岗位，欢迎大家订阅关注、发布岗位，如果你也想对公司和在招职位进行更多曝光，请联系我们的栏目负责人（微信：pwbot02）。

·

·