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

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

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

本人公司时不时会有一些需求外包，主要是java后端开发与部分前端（VUE）工作，需要找具有全栈经验的开发工程师不定期合作，每期需求确定报酬后支付方式是项目立项支付20%首期款项，开发测试完成支付60%二期款项，项目上线支付尾款20%。感兴趣的可以联系。 符合要求 欢迎联系

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

关于我们 我们是一个聚焦出海和跨境方向的 AI 社媒 SaaS 产品团队。致力于提升跨境和海外电商效率。公司在新加坡和国内多地设有固定办公点，践行远程办公理念，支持坐班、远程和混合办公模式。 团队初创成员为国内大厂中高管和核心骨干，服务全球客户，追求产品驱动增长（PLG）。 招聘需求 兼职内容 页面自动化相关的 Chrome 插件部分的开发、测试与调优。 周期 预估周期为两个月，第一个月交付初版，第二个月迭代优化，合适可长期合作。 期望候选人 React 熟手，有中大型 React 项目经验。 Chrome 插件熟手，熟悉插件的常用框架（Plasmo）、测试、打包流程。 日常熟练使用 AI vibe coding 工具（Cursor、Windsurf 等）。 良好的品味，对用户体验和审美有自我要求。 靠谱、靠谱、靠谱，强烈的责任心和自驱力。

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

About MentorX Corp MentorX Corp is a leading AI-driven mentorship platform that connects students with expert guides and resources to accelerate career growth through intelligent software solutions. Responsibilities Architect, develop, and deploy end-to-end full-stack (nodejs+react) features that leverage large language models (LLMs) Build and optimize retrieval-augmented generation (RAG) pipelines and integrate with vector databases (e.g., Pinecone, Weaviate, Milvus) Design, implement, and deploy intelligent agents for task automation and workflow orchestration Passionate about AI-facilitated development practices such as "vibe coding" and AI coding tools like Cursor, v0.dev, Claude Code. Lead the effort in building AI facilitated development process and best practice Project management by collaborating cross-functionally with Product, Design, and Data Science teams to deliver high-quality software Qualifications BS/MS in Computer Science or related field 3+ years of professional full-stack development experience (React, Node.js, Python) Hands-on experience with LLM frameworks and APIs (e.g., OpenAI, Anthropic) and libraries (LangGraph, LlamaIndex) Proven expertise in RAG architecture and vector database integration (Pinecone, Weaviate, Milvus, etc.) Familiarity with modern AI coding assistants (Cursor, v0.dev, Claude Code) Strong communication skills and ability to thrive in a fast-paced, collaborative environment

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

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

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

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

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

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

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

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

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

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

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

我们是坐标在硅谷的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 数据库的使用经验，或有强烈的意愿学习并掌握。 加分项: 英语流利，能够作为工作语言进行顺畅的技术沟通和团队协作。 有初创公司工作经验，尤其是在早期阶段主导或深度参与过核心项目的开发。 活跃的开源社区贡献者或拥有高质量的个人项目。 全栈多年，英文可以，人也在上海，欢迎！