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