互站网    21人浏览/4人投稿    53天前    待托管赏金

https://appssolr.gxt.ln.gov.cn/api/preview/qysb/preview_c3b47682ab31_1749995093.html这个是链接地址，可以做的联系我

互站网    41人浏览/8人投稿    53天前    待托管赏金

想做一款自己想要的app主要卖一款单一软件，大概自己画了画草图，想找个UI设计出来，然后开发，会做的联系QQ1606578885，资金可走互站担保

软件商务网    13人浏览/4人投稿    53天前    待托管赏金

网课今晚必须刷完，需要开倍速，但是老师规定不让开，如何快速刷完，有能实现的请联系我。

软件商务网    25人浏览/3人投稿    53天前    待托管赏金

发次世代场景，找个人和工作室，无作品不回复。

软件商务网    6人浏览/8人投稿    53天前    待托管赏金

需要开发一个批量上传工具，能做的大佬请联系我。

软件商务网    43人浏览/2人投稿    53天前    待托管赏金

有制作次世代枪械及坦克模型的个人，请联系我一下。

软件商务网    60人浏览/0人投稿    53天前    待托管赏金

会C4d渲染的个人，有兄弟加我，小物件量比较大，有档期的兄弟请联系我。

实现网    41人浏览/3人投稿    53天前    待托管赏金

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

电鸭    8人浏览/5人投稿    53天前    待托管赏金

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

电鸭    18人浏览/7人投稿    53天前    待托管赏金

【工作内容】 1、使用Lean4形式化数学竞赛题目的解题过程，确保形式化结果清晰易懂、符合逻辑并通过Lean验证 2、学习最新形式化方法和工具，提升技能，协作解决形式化中的技术难题。 薪资面议，可谈 【岗位要求】 1、数学/理科相关专业优先，参加过数学竞赛且获奖者优先;精通初高中数学竞赛知识和相关运算，成绩优异; 2、熟练应用Lean数据编程语言，能依据国际奥赛的解题步骤答案，输出Lean语言的推理步骤，并验证无误; 3、扎实的数学基础，精通形式化定理证明语言Lean4，具备出色的Lean4编程能力，能够熟练运用Lean4进行数学定理的形式化工作; 4、优先考虑具有以下经验者:参与过形式化证明项目对Mathlib有commit经历，熟悉Lean语言元编程，具备训练或部署LLM辅助自动定理证明的经验。