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

职位描述：我们现在在做使用Lean形式化证明IMO题目，目前情况是我们实现了大部分框架的证明，但技术细节处理耗费了太多时间，所以想找个小伙伴一起做 岗位要求:熟悉Lean4语言，可以很好的使用mathlib解决问题，可以远程情况下高效解决问题 业务产品:IMO题目的lean形式化证明 薪资范围:技术细节实现单题目600 根据实现难度可浮动，题量很大，长期合作 公司介绍：太和软件开发工作室 面试方式:微信沟通 欢迎大家，我们现在在做使用Lean形式化证明IMO题目，目前情况是我们实现了大部分框架的证明，但技术细节处理耗费了太多时间，所以想找个小伙伴一起做，绝对真诚，欢迎联系，希望对mathlib熟悉，环境我这边可以提供，欢迎沟通

电鸭    6人浏览/2人投稿    6天前    待托管赏金

职位描述： 1. 负责教师岗位的招聘工作，筛选简历、安排面试及录用流程。 2. 制作与维护工资表格，进行数据整理、导入及日常报表更新。 3.响应教师日常咨询，提供及时、准确的问题解答与支持。 4.协助处理教师投诉问题，确保问题有效跟进与闭环。 5.每周一次值班教务工作，熟悉老师资源 岗位要求： 1. 具备3-5年以上人力资源或招聘相关工作经验。 2. 熟练使用Excel等办公软件，具备基础数据处理能力。 3. 有独立解决问题能力，能在远程环境下高效工作。 4. 可接受非周末单休及部分值班班次 请提供以下信息，便于我们快速了解你： 个人简介+联系方式 ****公司介绍：广州丁澄科技 业务产品：线上辅导 薪资范围：4-5K，需要根据个人能力情况决定 上班方式：居家

YesPMP    15人浏览/2人投稿    6天前    待托管赏金

需求内容是：需要找擅长做h5封包的技术，目前的出现问题是 鸿蒙报错，可以接这方向的技术联系沟通。

电鸭    6人浏览/9人投稿    6天前    待托管赏金

我们现在在做使用Lean形式化证明IMO题目，目前情况是我们实现了大部分框架的证明，但技术细节处理耗费了太多时间，所以想找个小伙伴一起做，绝对真诚，欢迎联系，希望对mathlib熟悉，环境我这边可以提供，题量很大，可以做一段时间

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

武汉优家生活 招募c++/phtyon小伙伴一名，可选择性坐班 工作内容： 利用现有AI平台，开发一个商品介绍桌面软件，并且形成语音输出，用户无人直播使用； 多少钱 在武汉，全职还是兼职，待遇情况？ 请问一下是可以全程远程吗？还是项目期间一周必须安排几天到线下对接？

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

描述：页面不多，照搬已完成的国内小程序，接口都已经开发完毕。 工作周期：时间比较紧，到月底 8 月 31 号前需要上架 要求： 1.根据需求完成 ios 和 android 应用程序开发，调试，维护及适配 2.3 年以上开发经验，熟悉海外谷歌上架和 appstore 3.有过在海外上架的项目 4.能够独立解决技术问题，保证应用的稳定性和性能 工作模式：外包，需要每天都出结果 联系方式：MTE1MTkwNzYyMUBxcS5jb20= （简单介绍下自己，并最好携带下自己的作品，顺利的话可以长期合作）

实现网    4人浏览/2人投稿    6天前    待托管赏金

用户可以通过自然语言输入复杂问题或多维需求，而搜索引擎则会根据语境、个性化偏好以及语义关系进行精准匹配和推荐。基于RAG（检索增强生成）搭建本地搜索系统，参考Google Cloud的Agent Builder方案； 使用向量数据库（如ChromaDB）+ BGE-M3嵌入模型，实现语义搜索。

YesPMP    39人浏览/2人投稿    6天前    待托管赏金

嵌入式硬件自动测试工装项目，具体内容如下，工期7-10天左右，费用大概5K吧，可以谈。有经验的服务商可报价沟通详情。

软件项目交易网    26人浏览/0人投稿    6天前    待托管赏金

已有仪表电路板上芯片程序开发改进，或硬件开发，上位机软件开发。北京的

智城外包网    45人浏览/6人投稿    6天前    待托管赏金

一个用于特定行业的多商家商城的微信小程序应用，大概需求如下: 1. 商家注册入驻，审核后，可发布服务或商品信息；商家分为三类，免费（普通商铺），保证金（商品优先展示），充值（优先匹配需求用户），申请提现等。 2．用户注册浏览，根据需求，选择合适的服务...