北京内推 | 深度求索DeepSeek招聘LLM4Math方向实习生
合适的工作难找？最新的招聘信息也不知道？
AI 求职为大家精选人工智能领域最新鲜的招聘信息，助你先人一步投递，快人一步入职！
深度求索
DeepSeek是一家探索通用人工智能（AGI）本质的公司，以开源汇聚更多的创造力和生产力，并致力于将研究、工程和商业三者融为一体。我们相信，AGI 是数据x算法x算力的完美实践，科研+工程+组织的优雅艺术。岗位简介
目前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求职
实习内推
蚂蚁集团机器智能团队｜腾讯游戏AI大语言模型团队｜京东广告研发部｜阿里通义实验室对话智能团队｜NVIDIA中国｜腾讯混元大模型团队｜秘塔科技｜途深智合｜蚂蚁集团风险智能团队｜昆仑万维AI游戏团队｜小红书社区搜索组｜阿里达摩院多模态团队｜上海算法创新研究院｜新东方教育科技集团｜快手大模型训练引擎团队｜小红书｜快手大模型中心｜VIVO影像算法研究部｜小红书智能创作团队｜京东零售九数算法中台｜Infinity Ground｜OPPO AI中心大模型算法部｜上海期智研究院｜抖音搜索生活服务团队｜腾讯混元AIGC团队｜亚马逊上海人工智能研究院｜商汤研究院基础语言模型团队｜得物App
高校招生
澳门大学郑哲东教授｜大湾区大学乔子越老师｜西湖大学蓝振忠老师｜香港科技大学（广州）丁宁宁老师｜大湾区大学余梓彤老师｜香港中文大学（深圳）陈锐老师｜香港科技大学（广州）汤南教授｜医疗大数据与医学智能实验室｜香港理工大学林婉瑜老师｜香港科技大学郭嵩教授｜亚利桑那大学杨幻睿老师｜中山大学苗嘉旭教授｜香港科技大学（广州）谢泽柯老师｜武汉大学罗勇教授｜上海交通大学张倬胜老师｜香港中文大学（深圳）林天麟老师｜香港城市大学马佳葳老师｜南方科技大学张建国教授｜浙江大学智能生物医用大分子实验室｜香港科技大学雪巍老师｜南方科技大学-香港中文大学（深圳）｜清华大学MARS Lab｜多伦多大学孙强教授｜香港科技大学（广州）聂强老师｜西湖大学吴泰霖老师｜得克萨斯A&M大学黄冠豪老师｜上海科技大学屠可伟老师｜深圳大学光明实验室
为了更好地了解和满足大家的需求，我们建立了「求职者社群」。
加入 AI 求职社群，你可以享有招聘需求曝光、获取最新面试经验、校招准备攻略、硕博招生和独家内推渠道等服务。
扫描下方小助手的微信，pick 你心仪的岗位~
AI 求职是「PaperWeekly」旗下聚焦人工智能领域的招聘平台，涵盖高校硕博招生、博士后招募、企业校招、社招、实习和内推等。