招聘&找人日薪2K+lean4语言工程师

头像
180****2591
132阅读2评论

工作:
1、 使用Lean4形式化数学竞赛题目的解题过程
2、指导其他人使用工具完成lean4语言的转化(也按条结算提成)
待遇: 日薪1000+提成(计件多劳多得),日均2000+
时间: 自由,自己安排
周期: 有数据包可持续做 可居家

需求:
1、需要lean4语言形式化奥数题的解题过程;
2、需要林业专业,精通遥感地图的教授(背书,最好是能真正参与项目,出具方案),标注卫星地图识别到的植被区、植被;
3、需要文学专业的,进行文学题解析,对AI给出的答案进行综合优化;
4、需要数据专业的,精通Excle表,分析内容是否符合三个特性

招聘类型:
职业:
工作方式:
城市:
需消耗电量 5
顶 1
收藏
举报
精选评论
头像
等级1

你好,欢迎联系

你好,给您发邮箱了,麻烦看一下

版块详情

招聘&找人

22k 帖子
164k 评论
1k 关注
非主流的工作机会在这里更受欢迎~
版主
远程全职推荐

扫码下载应用

下载APP以便及时收到回复或进展