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

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

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

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

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

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

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

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

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

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

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

这是一个前端兼职项目，需要开发一个office的ppt插件，需求是用户可以通过该插件，对ppt的内容，布局，逻辑等与大模型交互问答（目前poc版本，不需要大模型agent修改ppt内容）： 插件的交互相对比较简单 能够结构化读取ppt内容 右pane上能够根据内容，与大模型对话 插件前端使用react开发（react18），ui控件可以直接选择react生态的开源控件库 希望你： 对Office Addin开发模式熟悉，有经验，会使用vsto或者officejs都行 能够完整完成插件打包安装工作 北京同城可线下交流 交付标准： 预算：RMB 2~4K, 看功能实现程度，具体可沟通， 根据能解决的问题给酬劳 验收标准（占比）：插件ui界面20%，ppt结构化解析30%，大模型交互20%，完整打包安装30%

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

注意:这是短期兼职岗位(周期是2-3个月) ，可白天办公或按问题解决核算费用 岗位职责: 1、负责负责Android系统 Framework/Native层及应用层代码的开发及问题解决，进行系统性能优化和稳定性问题解决、 2、负责和推动GMS缺陷解决，集成GMS测试FAIL项修改及自测试FAIL项，推动GMS认证测试等 任职要求: 1、有Java/C/C++/项目经验，熟悉高通等平台Android系统开发流程，从事Android系统平板手机开发5年以上，3年以上framework工作经验; 2、熟悉Framework各种Service机制与原理，熟悉ams/wms/pms/usb/power等模块，具备独立设计、开发、调试和测试的能力; 3、熟悉Android AIDL和HIDL开发，掌握基于NDK，JNI方式的开发和Debug;4、有Android平台稳定性调试经验，熟悉系统各种调试方法,有各种疑难问题分析经验,如死机重启黑屏定屏、卡顿问题等问题: 5、熟悉GMS测试认证流程和测试工具，熟悉GMS测试FAIL项的问题解决和自测。

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

找一份线上兼职

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

1. 对在海外读书的中国留学生进行专业课程辅导，1v1在线教学，纯中文授课，公司提供教材； 2. 网络授课，工作地点任你安排，有稳定的网络，安静的环境即可； 3. 工作时间自主支配，无课时要求，根据个人意愿而定； 4. 完善的培训体系和师资服务，解决缺乏辅导经验的所有困扰； 职位要求： 1.全球Top100院校，年级大三及以上（毕业生也完全可以哦） 2. 有效成绩单，GPA3.0以上。 现紧急招聘： 电子电气工程【集成电路】、【电路设计（特指Verilog、VDHL语言）】 电气工程【电力系统分析（强电方向）】 土木工程 以上专业，待遇从优，符合条件的讲师欢迎留言或添加微信咨询哦

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

project base（项目持续2-3个月结束） 【核心职责】 1.基于 Odoo 前端框架 开发和维护企业级 ERP/CRM 系统的 Web 界面。 2.使用 Odoo Web (OWL - Odoo Web Library) 构建动态、交互式的管理界面。 3.与后端开发人员协作，集成 Odoo ORM 和 XML/JSON RPC 接口。 4.优化 Odoo 前端性能，减少加载时间，提升用户体验。 5.自定义和扩展 Odoo 原生模块的前端功能（如报表、看板、表单等）。 6.适配 Odoo 的移动端响应式设计，确保跨设备兼容性。 【技术要求】 必备技能： 1.精通 HTML5、CSS3、JavaScript（ES6+）。 2.熟悉至少一个主流框架（React / Vue / Angular），熟悉 XML/QWeb 模板引擎。 4.熟悉 CSS 预处理器（Sass/Less）和 CSS 模块化方案。 5.熟悉版本控制工具（Git/GitHub/GitLab）。 【加分项】 1.熟悉 Odoo 前端架构，包括 OWL (Odoo Web Library)，理解其组件化开发模式（类似 React/Vue）。 2.了解 Odoo RPC 调用，能与 Python 后端交互（XML-RPC/JSON-RPC）。 3.有 Odoo 16 版本的前端开发经验。 4.了解 Odoo Website Builder（基于 CMS 和 Snippets 开发）。 5.有 前端性能优化 经验（如懒加载、缓存优化）。 6.熟悉 Python 基础，能调试 Odoo 后端逻辑（非必需，但有帮助）。 【软技能要求】 1.能阅读 Odoo 官方文档 并快速学习新特性。 2.良好的调试能力，能使用 Chrome DevTools 或 Odoo Debug 模式 排查问题。 3.注重代码可维护性，遵循 Odoo 前端开发规范。