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

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

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

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

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

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

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

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

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

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

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

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

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

【项目简介】 需要构建一套集硬件与软件于一体的智能称重系统，以实现高效、精准的称重管理，称重对象主要以各种鱼类为主 【功能需求】 1.称重：能够测量物体的重量（放入物品称重之后，物品能自动下落到设备底部的防护网） 2.数据传输：将重量数据传送到服务端（使用 MQTT 协议） 3.数据解析：回传的数据，要能被高级语言解析 4.语音播报：实现称重数据的语音播报功能（播报内容可配置） 5.工作状态：服务端能请求获取工作状态 6.物品检查：检测放入物品是否是活物 【薪资待遇】 以具体协商的落地方案为基准，薪资需进一步详谈 【任职要求】 1.熟悉硬件操作以及相关通讯协议，要有相关实战经验，新手勿扰 2.时间较为充裕，如只能周末回复沟通的勿扰 3.要有责任心 【其他事项】 1.可使用现有模块集成，无需全部从 0 实现 2.如有现成类似的成品，可直接修改使用也可以（不涉及版权的前提下） 这能远程？ 协商好需求之后，可以自行采购硬件进行开发，交付成品和软件源码即可，或者使用我们这边现成的硬件，解决硬件通讯即可，两种方案均可远程兼职 软件需要吗？ 抱歉，目前只需要硬件

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

手中有一个项目，已经对接资方，目前需正在组建初创团队，需要一名懂技术的产品经理。 项目正式开始后负责将需求拆解并组织人员进行项目落地。 我可以单独负责整个后端

电鸭    44人浏览/0人投稿    357天前    待托管赏金

本人跨境外贸行业从业者也是海外社媒KOL，擅长销售推广，现想在原有产品服务基础上开发一款服务型APP，可立刻变现！ 寻找具备Agent（智能体）开发能力的人才或合伙人,”这类复杂业务逻辑的开发者，需要聚焦在 AI工程化、多系统集成、自动化决策等方向，如具备以下技能人才大佬欢迎来聊。 -编程语言：Python、Java/Scala -AI框架：LangChain, LlamaIndex, AutoGen, Haystack 大模型集成：OpenAI GPT, Claude, 国产模型（文心一言、通义千问）的API调用与微调 RPA（机器人流程自动化）：UiPath, Automation Anywhere, 或Python库（Playwright/Selenium） 系统集成：API设计（REST/gRPC）、消息队列（Kafka/RabbitMQ） 数据处理：结构化/非结构化数据提取（如从商品页抓取重量信息） 熟悉Python和golang开发.10年经验！跨境ERP系统主导开发过两年，大模型学习中 熟悉大模型应用开发 6年研发经验 欢迎联系

电鸭    57人浏览/1人投稿    357天前    待托管赏金

全球 TOP5 · 12年老牌交易所火热招聘中！ 区块链行业正迈入全新发展浪潮，作为行业领导者，我们正以卓越创新力与全球化布局不断突破边界！🚀 我们正在寻找更多优秀人才，一起共创未来。 💼 热招岗位 🔹 Pay 方向 Pay 产品经理 Pay 后端开发工程师 Pay 测试开发工程师 🔹 Web3 方向 Web3 产品经理 Web3 测试工程师 Web3 前端工程师 Web3 后端开发工程师 Web3 Flutter 开发工程师 智能合约开发（Sol / Sui / Ton / Tron） 🔹 AI 方向 AI 产品经理 AI 研发工程师 AI 架构师 🔹 产品类 API / APP / 交易 / 理财 / 量化 / 社交 / 数据 / 增长 / 资管 / 平台产品经理 SEO 策略 / 内容编辑 金融底层 / 合规分站 / 研发平台产品经理 🔹 职能类 PMO（社交 / 支付 / 合规分站） 🔹 设计类 视觉设计师 产品设计师（金融 / 增长 / 社交方向） 🔹 开发类 机器学习负责人 数据分析工程师 / 数据开发架构师 后端 / Linux C 开发工程师 App 开发（iOS+Flutter / Android+Flutter） 研发架构师（风控 / 行情 / 合约 / 期权 / 现货 / 资产 / 引擎） 🔹 测试 & 运维类 运维工程师（DBA / K8S / 系统 / 应用 / 运维架构 / 运维开发） 测试工程师（打新 / 返佣 / 跟单 / 合约 / 理财 / 量化 / 期权 / 营销活动） 🔹 翻译类 English Proofreader / Editor 小语种译员（俄语 / 法语 / 菲律宾语 / 葡萄牙语 / 乌克兰语） 📌 招聘须知 办公方式：全远程（地点不限） 工作时间：早 9 点 - 晚 6 点（UTC+8），双休+法定假 语言要求：技术岗中文为主，无需强制英文能力 薪资发放：RMB 发至国内银行卡，避税收入高 年终奖：2 ～ 12 个月 福利：节日福利约 100U 经验要求：中高级及以上（实习生/应届生仅录取极优秀者） 学历要求：本科及以上（专转本可） 面试流程：3～4 轮，约一周内通知结果 合同形式：与国内代理公司签署 简历要求：PDF 格式，必须包含手机、邮箱、学历、工作年限等关键信息 ✉️ 简历投递说明 文件命名格式：[岗位] - [姓名] - [等级].pdf 示例： 后端开发 Golang - 张三 - 中高级.pdf 后端开发 Java+Go - 李四 - 资深.pdf TG 咨询：点击这里联系 📎 参考 JD & 更多职位 👉 点击查看 JD 每一位优秀的人才，都是我们未来的无限可能！ 加入我们，一起探索未来的无限可能！🚀