招聘&找人lean语言 定理化证明

头像
181****5277
45阅读0评论

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

招聘类型:
工作方式:
城市:
需消耗电量 5
踩 1
收藏
举报
充电支持Ta
精选评论
empty
暂无数据