高薪lean语言兼职+薪资可谈，时间自由

您的位置：首页 > 任务详情

雇主：mike
发布时间：2025-06-18
分类：招聘用工

免责声明该外包需求信息来源于站外平台，本站仅提供公开信息部分字段展示与订阅服务，更多请查看免责声明。

立即联系发布类似任务

任务详情

招聘: 数学，计算机相关专业，熟悉lean4语言的高、精、专人才学历: 研究生工作: 1、使用Lean4形式化数学竞赛题目的解题过程 2、指导其他人使用工具完成lean4语言的转化（也按条结算提成）待遇: 日薪1000+提成（计件多劳多得），日均2000+ ，薪资可谈时间: 自由，自己安排周期: 有数据包可持续做

任务附件 (0)