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