招聘: 数学,计算机相关专业或懂lean语言的高、精、专兼职 学历: 本科,研究生 工作: 使用Lean4形式化数学竞赛题目的解题过程 待遇: 日均2000+,可谈 时间: 自由,自己安排 周期: 有数据包可持续做
最后修改于13 分钟前
懂lean语言是必须要的吗?
是的
可以聊聊
电话没有打通,我加你 了
下载APP以便及时收到回复或进展
懂lean语言是必须要的吗?
是的
可以聊聊
电话没有打通,我加你 了