外包   全国 [切换]
HI~请 [登录] [免费注册]
您的位置：首页 > 任务详情
Lean4算法工程师+居家兼职
  • 雇主：mike
  • 发布时间：2025-06-16
  • 分类：招聘用工
免责声明 该外包需求信息来源于站外平台，本站仅提供公开信息部分字段展示与订阅服务，更多请查看免责声明。
立即联系 发布类似任务

任务详情

招聘: 数学，计算机相关专业或懂lean语言的高、精、专兼职 学历: 本科，研究生 工作: 使用Lean4形式化数学竞赛题目的解题过程 待遇: 日薪300+提成（计件多劳多得），日均500+ 时间: 自由，自己安排 周期: 有数据包可持续做

任务附件 (0)

暂无稿件哦！

预期中标

已中标

0

快去分享，提高任务的曝光率吧