电鸭    2人浏览/9人投稿    3小时前    待托管赏金

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

YesPMP    12人浏览/2人投稿    2小时前    待托管赏金

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

电鸭    3人浏览/2人投稿    2小时前    待托管赏金

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

电鸭    6人浏览/10人投稿    1小时前    待托管赏金

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

互站网    28人浏览/9人投稿    1小时前    待托管赏金

首先要懂怎么往pos机（百富A920）里面安装软件，其次里面的具体需求就很简单，可以细聊，有pos机开发技术的联系我

互站网    5人浏览/4人投稿    1小时前    待托管赏金

需要协议可登录多账号，按需关注后，发送私信 能跑通最基本的登录和发私信的优先，详细需求QQ/微信联系

互站网    50人浏览/1人投稿    1小时前    待托管赏金

前端注册改成列表模式，如会员套餐样式修改；数椐显示加个统计；审核版权信息修改；对接visa卡支付通道

YesPMP    8人浏览/8人投稿    56分钟前    待托管赏金

码头船舶舶位防止碰撞提醒：测量货船靠码头的1.距离；2.速度；3.偏角；在100米以内码头安保人员对船舶驾驶员进行提醒减速靠码头！

YesPMP    49人浏览/0人投稿    56分钟前    待托管赏金

3D拉框20帧连续帧，无属性，实时验收次月结算，只要有经验，新手小白个人勿扰！我要有经验的标注团队承接标注 可以接的竞标联系。

YesPMP    44人浏览/2人投稿    56分钟前    待托管赏金

需要做一款AI智能体辅助投标决策软件，我公司主要是从事建筑工程，正常在江苏省内各大城市公共资源中心投标。我们现在主要分析每一个标下浮率靠拍脑袋，是否有通过量化分析或历史数据判断下一下标的下浮率寻求研究这方面的软件，据说杭州已经有人研究出来了。有相关经验的服务商可联系沟通。