【DeepSeek实习生招聘】-Lean4实习生
定位
- 了解数学形式化定理证明,会写lean,不限定CS还是Math背景
- 主要的工作内容(包括不限于):写lean,标注模型输出lean代码是否合规
- 可以接受短期3个月实习
- 需求量:1-2个实习生
- 实习地点/工资:北京,500元/天,非京学校学生提供3000元/月房补
简历投递方式:
HR邮箱:mm.han@high-flyer.cn
HR微信:18895606352
主题:AGI大模型实习生-姓名-学校-电话
本站规定,相同或相近内容的帖子一周内严禁在5个及5个以上讨论区内重复张贴,否则将受到禁言全站发文权限直至删除帐号的处罚。
多个id共同一文多发的,对参与多发的每个id按多发总数进行处罚
点击右上角“”分享该页面