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

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

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

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

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

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

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

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

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

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

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

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

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

本人跨境外贸行业从业者也是海外社媒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年研发经验 欢迎联系

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

全球 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 每一位优秀的人才，都是我们未来的无限可能！ 加入我们，一起探索未来的无限可能！🚀

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

职位信息 职位名称：深度学习/机器学习实习生 薪资待遇：2000-3000元/月 工作方式：远程工作 岗位职责 参与深度学习模型的设计、训练和优化 协助进行机器学习算法的研究与实现 参与数据预处理、特征工程等工作 协助搭建和维护机器学习实验环境 参与技术文档的编写和整理 跟进最新的AI技术发展趋势 任职要求 基本要求 计算机科学、人工智能、数学、统计学等相关专业在校学生 熟悉Python编程，有良好的编程基础 了解机器学习基本概念和常用算法 具备良好的数学基础（线性代数、概率统计、微积分） 技能要求 熟悉至少一种深度学习框架（TensorFlow、PyTorch、Keras等） 了解常见的机器学习库（scikit-learn、pandas、numpy等） 有数据处理和可视化经验（matplotlib、seaborn等） 熟悉Linux系统基本操作 加分项 有相关项目经验或参加过相关比赛 了解计算机视觉、自然语言处理等具体应用领域 有GPU训练经验 熟悉Docker、Git等开发工具 英语阅读能力较强 我们提供 💰 具有竞争力的实习薪资 🏠 灵活的远程工作环境 📚 专业的技术指导和培训机会 🚀 参与前沿AI项目的机会 👥 与资深工程师共事的学习机会 📈 表现优秀者有转正机会 工作安排 沟通方式：定期线上会议，及时的技术交流 项目周期：参与完整的项目开发周期

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

1.需求描述：给运行中的一条公链部署搭建完成一个主节点； 2.搭建主节点的部署文件已有； 3.要求有丰富的相关经验，可长期合作； 4.其他要求：主节点搭建完成后运行稳定 ，搭建周期1天内完成，搭建过程可远程