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

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

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

我们正在打造一款 AI驱动的求职招聘工具，希望让每个求职者和雇主，都能在更深层的“人性维度”上相遇—— 不只是技能对技能，而是「动机、价值观、组织文化」的底层匹配。 这是一个从实际业务中生长出的项目。本人过往做过「职升机AI」，在职业规划与招聘场景中有丰富实战经验。 目前我们正启动新一轮探索，计划在春节前（2026年初）完成网页Demo验证，验证模型与用户闭环。 【当前阶段】 已完成：核心功能定义、产品逻辑框架、数据结构设计； 进行中：UI视觉 + 前端开发； 目标：春节前推出Demo版本并进行用户测试。 【我们在招的人】 我们希望找到靠谱、愿意一起共创的伙伴，共同打磨出第一版产品。 🎨 UI/UX设计师（兼职） 负责网页原型与视觉呈现； 需具备产品sense和用户同理心； 每周投入10-15小时，可远程； 酬劳：按项目阶段付费，可议；优秀者可获早期股权。 💻 前端/全栈开发（兼职） 负责网页Demo开发（React/Next.js/Node优先）； 理解AI产品逻辑，有一定独立交付能力； 每周投入10-15小时； 酬劳：按项目付费，后续可获早期股权。 【你能获得】 直接参与从0到1的AI产品共创机会； 全程与创始人并肩，体验完整产品诞生过程； 真实回报（付酬 + 股权激励 + 联合署名）； 若项目验证成功，可转为核心合伙人，获得早期股权。 📍 优先城市：上海（可远程） 后端开发: Golang（擅长）, Java, Python 数据库: MySQL, Postgres, Redis DevOps: Docker, Kubernetes, Jenkins, Git 前端技术: Next.js, TypeScript, React.js, Vue.js 客户端开发: Expo, Uniapp, Electron 智能agent:langchain，n8n，dify， mcp等等 工作经验:10+

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

公司：Rena Labs：https://renalabs.xyz 岗位：全栈工程师 / 后端工程师（Python/FastAPI） 工作地点：远程（灵活办公） 职位类型：合同 经验要求：3 年以上 薪资范围：2000 - 3000 美金 邮件标题请注明：全栈工程师 - 姓名 / 后端工程师 - 姓名 关于 Rena Labs Rena Labs（已完成Pre-Seed轮融资，融资金额为330万美元）正在构建首个 TEE 抽象层，以释放私有数据流动性，并加速可验证的 AI 应用场景落地。通过融合最前沿的人工智能与加密基础设施，我们正在创造一个全新的技术方向。 公司由连续创业者领导，团队成员来自顶级科技和加密公司，并获得了顶级风投支持，包括 Paper Ventures、Lightspeed Faction等。 全栈工程师 职位描述： 我们正在寻找一位经验丰富的全栈工程师，参与设计与开发下一代 AI Web3 产品。您将与产品经理、设计师紧密合作，负责构建高性能、高可用的前后端功能，推动产品从原型到上线的全过程。 岗位要求： 三年以上 Web 开发经验，具备独立开发和上线项目的能力； 熟练掌握 React 框架，能够实现复杂交互和组件封装； 精通 JavaScript 或 Go 中至少一种编程语言，了解另一种更佳； 精通云端服务如 AWS 服务的部署和运维； 熟悉 RESTful API 或 GraphQL 接口的开发与集成； 熟悉前后端协同开发流程，具备良好的系统架构思维； 具备良好的代码规范意识和版本控制经验（如 Github）； 具有良好的沟通能力和团队协作能力，责任心强。 加分项： 有区块链或加密货币（Crypto/Web3）相关开发经验； 熟悉智能合约、钱包集成或链上数据交互； 有开源项目经验或在 GitHub 上活跃； 有 DevOps 工具使用经验，如 Docker、CI/CD 等。 后端工程师 职位描述： 我们正在寻找一位经验丰富的后端工程师，具备扎实的 Python 编程基础和 FastAPI 框架开发经验。理想候选人应熟悉 REST API 设计、异常检测算法、时间序列数据库分析，并能够熟练使用 Docker 和 Kubernetes 进行生产环境部署和维护。 岗位职责： 使用 FastAPI 设计和实现高性能的 RESTful API 使用时间序列数据库进行数据处理与分析 开发和集成异常检测系统 优化后端系统的性能和可扩展性 使用 Docker 和 Kubernetes 进行应用容器化与部署 与跨职能团队协作，交付高质量的后端解决方案 岗位要求： 3–5 年后端开发工作经验 精通 Python 编程语言和 FastAPI 框架 熟悉 REST API 的设计规范和最佳实践 具备时间序列数据库（如 InfluxDB、TimescaleDB）使用经验 理解并能应用异常检测相关技术 熟练使用 Docker 和 Kubernetes 具备良好的调试能力与性能优化经验 加分项： 具备 React 或其他前端开发经验 熟悉云平台（AWS、GCP、Azure） 有 CI/CD 流水线相关经验 有区块链或加密货币（Crypto/Web3）相关经验； 加入 Rena 的理由： 有竞争力的薪酬和可观的 Token 激励； 自主权高、扁平化的工程文化； 深度参与 Web3 行业前沿项目的机会； 灵活办公与远程工作的支持； 技术驱动、快速成长的工作环境。 你好，我的技术栈，前端 react 后端golang Python 链端 geth solidity foundry等等 运维 Jenkins docker cicd devops 这些我都没有问题 欢迎联系聊聊 10多年互联网程序开发经验，熟悉使用多种程序语言，网页游戏，到手机游戏，全做过。多年个人站长运营经验，对web程序构 架设计，微服设计，Linux，网络cdn架设等都有经验。电商广告系统搭建开发运营经验。Web3 nft 智能合约 有独立完成的项目 私聊发网址 。web3相关技术领域技术了解的比较多。 一名拥有8年经验的高级前端开发工程师，专注社交与直播领域的技术深耕与创新。 我主导过3个从0到1的公司级基建项目，工具链落地后研发效率提升40%-70%；在XXApp期间支撑年营收过亿，通过自研组件库和性能优化（如首屏加载耗时降低70%）显著提升用户体验。 擅长跨端开发与复杂业务落地，如AI工程化整合、高并发实时互动系统（日均80万新增），并具备1年+运营经验独立策划活动，用户裂变分享率提升45%。 我的技术闭环能力（Vue/React源码研究+Node.js提效工具开发）和复合背景（运营+增长），能快速为团队带来可见价值。期待与您进一步沟通！ 你好，欢迎联系tg 全栈多年，后端语言常用的都可以，前段以vuehereact/为主 有4年全栈技术及团队管理经验。曾作为联合创始人兼技术负责人，从0到1完成产品架构设计与落地。目前电量充不上，欢迎 vx 联系。

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

我們長期招募兼職內容寫作助手，工作內容為大學學術支援，適合文字能力較強、有學科背景的大學生或畢業生。 【工作內容】 根據指定主題，撰寫文字類內容（如分析報告、閱讀反思、課堂總結等） 簡單資料搜集、內容整理、結構優化 支援統計/數據類分析者優先（Excel / SPSS / R等） 【要求】 中英文寫作能力良好，擅長邏輯組織與分析表達 熟悉大學寫作格式、APA/Harvard引用等更佳 具責任心，能按時交稿 對商科 / 心理 / 教育 / 護理 / 社科等科目熟悉者優先 【報酬】 按件計酬，根據內容長度與難度定價 長期合作有穩定單量，價錢可議 【申請方式】 請發送以下資料至聯系方式 自我介紹（可說明你熟悉的學科） 近期寫作樣本（可匿名） 預計可接案時間與期望單價（每千字/每單）

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

做一个web3项目，多人协作，需要一个人做一部分简单功能 预算4k，时间一周 有web3经验优先 需要做事态度好，有责任心，需时间充足

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

⚠️ * 此信息是社区志愿者的友情搬运转发，旨在帮助大家获得更多的工作机会。联系方式皆保留，有意可自行联系，也请说明来自“电鸭社区”。 信息的真实性、实效性需要大家自行识别判断，社区和搬运志愿者无法为此做出负责，请理解。 在这里， AI不只是工具，而是灵感和创造的起点 我们需要你，用短视频， 把复杂的AI产品评测，变成年轻人看得懂、爱看的故事。 我们在寻找: 对AI抱有巨大好奇心，热爱尝试各种新奇的AI产 品， 有独立评测AI产品的能力，能够迅速抓住产品的 亮点与槽点; 擅长短视频的创意策划和编导，能用生动有趣的视频语言讲清楚AI的优势与不足; 拥有审美和节奏感，知道如何让视频变得有趣有质感、有传播力。 你会做什么 深度体验各种最新的AI工具和产品，独立输出有趣、有用、有价值的短视频评测;负责短视频创意策划、脚本撰写，打造有鲜明风格的AI短视频内容; 定期挖掘年轻用户的兴趣点，用最适合他们的方式展现AI; 持续探索、创造，让"数字生命卡兹克"成为年轻人心中最酷的AI内容IP。 加入我们，你将获得: 月薪: 10-15k+高绩效提成; 与AI领域头部KOL近距离合作，掌握AI行业最新趋势与资源; 自由高效的团队氛围，鼓励你的每一次创意尝试， hr@virxact.com 等待你的故事，与你一起探索AI的无限可能。

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

岗位职责： 1）负责公司区块链应用的智能合约实现，根据产品需求和项目计划，完成业务设计，开发，自测，联调，部署与交付。 2）根据用户场景或业务需求给出基于区块链技术的多种解决方案。 3）关注区块链技术最新的行业动态，与团队共同推动公司区块链技术的持续迭代升级。 工作地点可以灵活，可在线远程协作（需要接受在线办公规则）。 **职位描述： ** 1）计算机技术相关专业，拥有Solidity智能合约开发经验 (ERC721、ERC1155) 2）拥有一定的架构设计能力，能独立完成业务层的智能合约实现 3）熟悉区块链技术的主要构成，至少熟悉如Ethereum，Tendermint，HyperledgerFabric之一的区块链底层框架 4）拥有数据库开发经验，或熟悉Docker，Kubernetes等运行机制优先 5）尊重自己的产出，写完代码会主动进行单元自测 6）较强的学习和钻研能力，对新技术、新内容感兴趣并敢于尝试，乐于分享 7）对区块链技术应用有自己的理解 8）对JavaScript，Python熟悉，并熟悉前后端开发的优先考虑 多少钱一个月 ？ 希望深度沟通一下

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

职位要求和描述： .NET:C#五年以上工作经验，熟悉VUE，B/S经验 兼职或全职都可以，远程办公 有做过数字货币OTC系统，懂web3开发经验者优先 主要做三方支付系统，必须要有网关开发经验 熟悉运用数据库MYSQL 系统开发和维护 具有良好而规范的编程习惯和技术文档编写习惯

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

c端AI 软硬件 名校大厂的 AI 和研发大佬可以带你 要求远程，工作时间按国内走。 你会参与app的前端的混合开发，软硬件技术讨论，以及接触AI算法在商业化项目上的落地。 要求熟悉Flutter混合开发框架，有实际APP开发经验。 【外包/独立接项目的勿扰】 我们希望你: 计算机专业背景 了解并熟悉混合开发语言和框架 有flutter APP 开发经验 对开发充满热情，喜欢钻研技术并有独立解决问题的能力

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

1、根据现有的旅游线路进行相关复制粘贴的开发 2、不同账号与账号之间的线路复制 3、账号的相关维护与技术更新 4、薪资需要根据实际情况后商议决定