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

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

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

招聘: 数学，计算机相关专业或懂lean语言的高、精、专兼职 学历: 本科、研究生 工作: 使用Lean4形式化数学竞赛题目的解题过程 待遇: 日薪300+提成（计件多劳多得），日均500+ 时间: 自由，自己安排 周期: 有数据包可持续做

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

招聘: 数学，计算机相关专业或懂lean语言的高、精、专兼职 学历: 本科，研究生 工作: 使用Lean4形式化数学竞赛题目的解题过程 待遇: 日薪300+提成（计件多劳多得），日均500+ 时间: 自由，自己安排 周期: 有数据包可持续做

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

项目经过了一小轮曝光，目前反响很不错，曝光一周迅速达到一万注册用户，抖+书关注人群三万多近十万点赞收藏。 项目为c端平台类项目，最终目标用户在千万到亿级，电商+内容+社交三位一体。 现在项目曝光之后，现有的团队没办法跟上随之而来的提速要求，故需要在融资前进行最后一轮团队扩充。 创始开发团队共享20%股权，现在入队按贡献值（投入有效工时×基准倍率/团队总值)获得股权。 目前约有十人团队，大部分为兼职，少数核心成员为全职，贡献按有效工时分配。当前需要扩充后端+项目经理+运维成员。 对于成员的要求，首先是品质要求： 1、自驱力强，主动性高，能够高效融入团队。 2、有梦想有精力有野心有定力。 3、拥有大厂经历和带队经验为加分项。 4、理想情况学历一本以上，能力优秀另论。 然后是能力要求 产品&项目负责1名 1、丰富的带队和带项目经验，能够提升团队效率，打造一只强力团队。 2、拥有从0-1，从1-100的项目管理经验，管理贡献将额外激励。 3、拥有面向C端的电商平台、用户ugc社交论坛、用户即时通讯等业务的设计经验。 4、拥有面向B端的商家、机构等管理端设计经验； 5、拥有用户活跃、成长体系、增值付费等方面的设计经验。 理想情况下28

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

本人背景：原阿里商业分析师，AI创业2年半，曾经的公司获得2轮融资，估值达到1.5亿。对AI市场动态、商业模式和用户需求有深刻洞察。已初步完成市场验证和产品原型规划。 原创始团队一直无技术合伙人，在技术研发上面吃了很多亏。现有新项目启动。 当前阶段：核心创始团队搭建中，项目已进入实质性推进阶段！已经沟通好3个渠道。认可AI推荐资讯，并且有想法的小伙伴都可以一起沟通交流。 重要的事情说三遍：重在自己想要创业！重在自己想要创业！重在自己想要创业！ 招募需求： 1. 产品运营合伙人/核心成员： 核心职责：深度参与产品定义（资讯筛选逻辑、呈现方式、用户互动等），主导用户增长、活跃度与留存策略（包括社区/社群运营），基于数据和市场反馈驱动产品迭代。 你将直接定义我们产品的“灵魂”！ 我们希望你： 对AI领域有强烈兴趣和持续关注，信息敏感度高。 具备出色的用户同理心和内容判断力（知道什么资讯对目标用户真正有价值）。 极强的执行力和数据驱动思维，能独立负责运营闭环。 超强主动性和ownership，不满足于执行，渴望参与策略制定并推动结果。 有从0到1运营经验者（无论成功与否）加分，但更看重潜力和态度。 为什么关键？在这个项目中，产品运营是连接市场洞察（我）与用户体验（前端）的核心枢纽，直接决定产品的市场接受度和生命力。 2. 前端开发伙伴： 核心职责：负责将产品设计和资讯内容高效、优雅地呈现给用户，打造流畅、直观的Web端用户体验。与产品运营紧密协作，快速响应迭代需求。 我们希望你： 扎实的前端基础（HTML/CSS/JS），了解至少一种主流框架（React/Vue/Angular）。 对用户体验有追求，不满足于“能跑就行”。 高度主动，沟通顺畅，回复及时。能自我驱动，按约定时间点交付。 有创业心态，愿意在快速迭代中学习和解决问题。 不唯资历论英雄，履历普通但能力扎实、态度积极者尤佳。 为什么重要？资讯产品的第一印象和交互体验至关重要，前端是实现产品价值的关键一环。 合作模式与要求： 远程协作：完全远程，高效在线协作。（覆盖全球人才） 时间灵活：可兼职起步（理解初期风险），但要求能保证承诺的投入时间和产出。随着项目进展和融资到位，期待向全职转化。 核心筛选标准（务必仔细阅读！）： 主动性为王：我们极度厌恶“推一下动一下”。你需要是自我驱动型选手，主动思考、主动沟通、主动推进。这是最高优先级要求！ 责任心和承诺感：答应的事情，务必按时按质完成。临时有事可沟通，但及时反馈是底线。 创业心态：** 理解早期项目的不确定性，拥抱变化，解决问题导向，而非抱怨。真心想一起做成这件事，而不是试试看。 沟通顺畅： 远程协作的基础是高效、透明的沟通。回复及时（非24小时待命，但约定时间内有反馈）是基本素养。 务实高效： 我们看重结果和执行力，形式主义、花拳绣腿请绕行。 坦诚相告： 初创项目充满挑战和不确定性，初期可能资源有限。但我们承诺透明沟通、目标一致、共同成长，并会在项目成功时提供有竞争力的回报（项目分红/股权/期权是核心组成部分）。 联系前一定要想清楚——自己确定想要参与创业，避免浪费彼此的时间。 我们有部分的政府、企业渠道资源，如果你有好的想法我们也可以一起探讨推进市场。 如果有硕士学历我们可以一起申报政府一些项目，获取更多的资金。 其他岗位也可以保持联系，客观上研发团队不稳定，随时有可能会有空位。也还有其他的项目会随时遇到缺编。

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

我们是坐标在硅谷的AI Startup, 旨在赋能中小商家帮助他们用自然语言构建全栈网站。 我们的创始团队汇集了来自 Google、DeepMind 和 Tesla的顶尖人才，在 AI 和工程领域拥有深厚的积累。公司已获得顶级风险投资机构的青睐，完成超千万美金估值的种子轮融资，正处于高速发展的起点。 职位名称：全栈工程师 (Full-Stack Engineer) 工作地点：远程或者上海 拥有3年以上的全栈开发经验。 精通 JavaScript/TypeScript，拥有使用 React 和 Next.js 构建现代化 Web 应用的丰富经验，并对 React 生态（如 Hooks, State Management 等）有深入理解和实践。 拥有 Next.js 生产环境项目经验，能够独立构建复杂的应用。 具备 Node.js 后端专业知识，专注于开发可扩展的 API 和 AI 驱动的服务。 具备卓越的编码能力和优秀的代码质量意识，熟悉现代前端开发的最佳实践。 有使用 AI 模型和 API（例如 OpenAI、微调模型或基于 LLM 的应用）的经验。 熟悉 Vercel、Netlify 等云架构和无服务器平台。 具备 PostgreSQL 数据库的使用经验，或有强烈的意愿学习并掌握。 加分项: 英语流利，能够作为工作语言进行顺畅的技术沟通和团队协作。 有初创公司工作经验，尤其是在早期阶段主导或深度参与过核心项目的开发。 活跃的开源社区贡献者或拥有高质量的个人项目。 全栈多年，英文可以，人也在上海，欢迎！

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

简介 1.本人独立做过前后端分离项目(电商，酒店，saas，app,小程序等项目) 2.也有一群志同道合的码友小团队。 3.技术常用java,vue,python,uniapp,.net等技术 4.或有酒店，电竞酒店资源的老板 5.欢迎有需求或有资源的老板们合作。价格美丽价格可谈。

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

居家可做不需要通勤奔波！ 年龄要求：22-35周岁 设备要求：电脑屏幕14寸以上，网络稳定！ 时间要求：每天最少在线3-4小时以上 结算方式：按照实际完成单量结算，可日结或者月结，月结单价高 项目内容：通过观看用户购物视频对应标注所选的商品及数量！

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

1.使用我方提供的源码，参照原型交互样式与功能需求开发商品管理(基础信息、采购报价、商品图文、定价管理),商户管理，财务管理(核销对账商户端，核销对账 平台端，应收帐款）用户管理，推送管理，同城配送(发单管理，配送管理)等相关模块，具体需求参见原型(本项目有小程序，H5，PC管理后台三端)。 2.仅接受全栈开发小伙伴。 有多商户商城开发及高并发处理经验技巧，熟悉分销等商城系统逻辑，对java / uni-app /springBoot / Java / vue / 熟练展握，代码严谨规范，交付及时，地区不限。 全栈开发，5年经验

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

我们是一个平台类app，主要方向是居家装修。app还没上线。 目前已经有app以及管理后台原型。需要一个ui，目标是获得一个高保真设计图。 预计时间单人一个月左右。 付款方式为阶段性付款。 我可以，十年ui，经验丰富，欢迎联系