北京内推 | 深度求索DeepSeek招聘LLM4Math方向实习生
合适的工作难找?最新的招聘信息也不知道?AI 求职为大家精选人工智能领域最新鲜的招聘信息,助你先人一步投递,快人一步入职!深度求索DeepSeek是一家探索通用人工智能(AGI)本质的公司,以开源汇聚更多的创造力和生产力,并致力于将研究、工程和商业三者融为一体。我们相信,AGI 是数据x算法x算力的完美实践,科研+工程+组织的优雅艺术。我们正在寻找并长期培养优秀的数据研发人才,与我们一起进行高水平
合适的工作难找?最新的招聘信息也不知道?
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)。
·
·
更多推荐
所有评论(0)