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

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

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

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

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

职位描述： 1. 负责教师岗位的招聘工作，筛选简历、安排面试及录用流程。 2. 制作与维护工资表格，进行数据整理、导入及日常报表更新。 3.响应教师日常咨询，提供及时、准确的问题解答与支持。 4.协助处理教师投诉问题，确保问题有效跟进与闭环。 5.每周一次值班教务工作，熟悉老师资源 岗位要求： 1. 具备3-5年以上人力资源或招聘相关工作经验。 2. 熟练使用Excel等办公软件，具备基础数据处理能力。 3. 有独立解决问题能力，能在远程环境下高效工作。 4. 可接受非周末单休及部分值班班次 请提供以下信息，便于我们快速了解你： 个人简介+联系方式 ****公司介绍：广州丁澄科技 业务产品：线上辅导 薪资范围：4-5K，需要根据个人能力情况决定 上班方式：居家

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

职位描述：我们现在在做使用Lean形式化证明IMO题目，目前情况是我们实现了大部分框架的证明，但技术细节处理耗费了太多时间，所以想找个小伙伴一起做 岗位要求:熟悉Lean4语言，可以很好的使用mathlib解决问题，可以远程情况下高效解决问题 业务产品:IMO题目的lean形式化证明 薪资范围:技术细节实现单题目600 根据实现难度可浮动，题量很大，长期合作 公司介绍：太和软件开发工作室 面试方式:微信沟通 欢迎大家，我们现在在做使用Lean形式化证明IMO题目，目前情况是我们实现了大部分框架的证明，但技术细节处理耗费了太多时间，所以想找个小伙伴一起做，绝对真诚，欢迎联系，希望对mathlib熟悉，环境我这边可以提供，欢迎沟通

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

工作内容： 1、跟随安排统一前往绍兴下属县城景区完成拍摄任务； 2、听从指挥，个人具备独立完成视频拍摄剪辑能力； 3、提供差旅、门票及餐食，从杭州出发前往景区游玩拍摄后返回杭州，如其他杭州城市有学生能组织20人统一出发也可协商； 4、投稿需用到大学生本人抖音账号、小红书账号，投稿保留90天，提供原稿完成个人投稿信息登记； 5、时间：8月1日-20日期间，组织方根据天气情况进行统一安排； 要求： 1、要求属于在校大学生（大专以上即可）或研究生，年龄不大于28岁； 2、五官端正，干净清爽，守时诚信； 3、有拍摄能力，能够配合完成拍摄任务、发布任务； 4、需签署该行程下拍摄发布内容的知识产权及收益授权协议； 5、内容完成制作发布结算80%，达成保留期结算20%；

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

岗位职责： 产品规划： 负责合约产品的整体规划和策略制定，明确产品定位与市场需求。 市场调研： 进行市场分析与竞争对手调研，了解用户需求，制定产品改进方案。 需求分析： 收集、整理和分析用户需求，撰写产品需求文档，协调跨部门团队进行开发。 项目管理： 跟进产品开发进度，确保项目按时交付，并协调各部门资源解决问题。 产品上线： 负责产品的上线及推广，制定上线计划并监控实施效果，收集用户反馈。 数据分析： 定期分析产品数据，评估产品表现，提出优化建议。 任职要求： 学历要求： 本科及以上学历，金融、计算机、经济等相关专业优先。 工作经验： 3年以上合约产品经验 技能要求： 具备良好的产品思维与市场敏锐度，熟悉产品开发流程与项目管理工具。 沟通能力： 良好的沟通协调能力，能有效与技术、设计、市场等团队合作。 行业热情： 对cex、合约交易及金融科技有浓厚兴趣，具备快速学习能力。 公司：xt.com 办公方式：远程办公 薪资：25-45K（发udst） 面试方式：视频面试

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

一、需求描述 基于UDP协议的底层单向数据传输程序，包括2部分：发送端、接收端。因为受网络物理通信限制，信息只能从发送端至接收端，而发送端无法接收来自接收端的任何信息，因此需要在无接收端响应的情况下完成文件传输。 1） 发送端功能： 读取指定路径的文件，按照设定的网络速度发送给接收端，需确保文件的完整性及传输性能，可满足千兆、万兆网络带宽。同时发送端需具备接口被其它程序调用，为程序指定需要发送的文件、发送速度等，发送端程序还需具备完整的日志信息，以实现对发送进度及状态的监控。 2） 接收端功能： 接收端程序作为底层程序运行，接收来自发送端的数据包并解析、组成为文件，将文件进行完整性校验并写入磁盘，需具备完整的日志信息，并记录接收进度及状态进行监控。 二、环境 网络环境：千兆点对点连接，网络结构简单，不存在干扰、扰动等情况； 运行环境：windows、linux 单个文件大小：20GB 三、开发语言 C、C++ 四、个人要求： 1.掌握C/C++编程语言，熟悉C++设计模式。 2.精通计算机网络，深入理解TCP/IP协议和4层网络模型。 3.熟悉HTTP协议，了解网络通信的技术细节。 4.熟悉Socket网络编程，深入理解同步/异步I0模型、I0多路复用及底层调用的原理及使用。 5.熟悉操作系统，了解CPU、寄存器、多级缓存架构及内存的调用机制及调优。

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

【公司简介】 我们是一家专注于海外平台开发的技术公司，作为长期合作的第三方技术顾问，深度参与实体企业的数字化转型。服务覆盖： 旅游、医疗、零售、电商 数字媒体、金融科技等多个行业 我们强调高效、可扩展、技术驱动的解决方案，项目涵盖多语言、多时区的中大型系统架构与移动端开发。 【招聘岗位】 岗位名称：高级前端开发工程师（React / React Native方向） 招聘人数：多名 【工作时间】 工作日：周一至周五 时间安排：每日 8 小时（弹性时间，自主安排） 无需加班，以项目交付为导向 合作人员需保证工作日白天可沟通，参与每日项目会议（约30分钟） 【岗位职责】 使用 React / React Native 负责移动端产品开发与维护 搭建高复用组件，推动前端工程标准化 优化跨平台用户体验，提升性能与稳定性 与后端团队协作，完成 RESTful API 接口对接 参与产品评审与技术可行性分析 快速定位并解决线上问题，保障系统稳定运行 【任职要求】 计算机相关专业本科及以上学历 3 年以上 React / React Native 实战开发经验 熟练掌握 JavaScript / TypeScript，了解组件生命周期与状态管理机制 熟悉移动端适配、性能优化、打包上线流程 熟悉 Git、基本的 CI/CD 工具链 有 MUI 框架经验者优先 【加分项】 有 React.js / Vue.js 等 Web 框架经验 熟悉 OAuth、JWT 等身份认证机制 有 Flutter 或原生 App 项目经验 熟悉 Webpack / Babel / NPM 等前端构建工具 【优先人群】 有国内大厂或海外互联网公司背景，返乡后希望远程办公的开发者 江浙沪常驻、具备扎实项目经验的中高级前端工程师 具备发票开具能力的自由职业者、个体工商户或公司法人 【合作要求】 满足岗位技术能力要求 以任务交付与质量为考核核心 保证每日沟通频率及任务推进（早会 / 项目同步） 无需出差 【合作模式说明】 模式一：正式入职（劳动合同制） 适用于可常驻办公人员（优先江浙沪） 每周线下到岗 3～5 天（办公地点：上海 / 杭州） 签署《劳动合同》，依法缴纳五险一金 合同条款依据《劳动合同法》执行 模式二：远程合作（劳务 / 外包形式） 自由职业者或技术团队皆可 须具备合法开票能力（个体工商户或公司） 双方签订《技术服务合同》或《劳务协议》 按月结算，支持对公 / 对私支付（可约定付款周期） 模式三：项目制合作（定额结算） 适用于个人 / 团队 按照项目任务书约定交付成果及结算方式 支持公对公 / 公对私合作（对私付款预扣 20% 个税） 项目结算按阶段验收进度进行 签订《项目外包协议》或《合作协议》 【薪资及结算】 税前月薪参考范围：18K ～ 30K 人民币（视技术水平与合作形式） 按月结算，支付至对公或个人银行账户 项目制合作按双方签署合同执行，分期结算 【应聘方式】 请将以下资料发送至招聘邮箱： 最新简历 合作意向（如：全职 / 远程 / 项目制） 邮件标题格式：电鸭 + React / RN + 合作意向 我们将在两个工作日内与您联系并安排下一步流程。 【招募流程】 简短沟通：介绍公司、项目背景与合作模式 技术评测：demo,开放式答题，不限时间，支持辅助工具 技术面试：线上远程进行 签约：根据合作模式签署正式协议 是个微信号?不是邮箱吗，已经添加

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

任务内容： 手游脚本开发 内容包括：安卓开发，图像自动化识别 要求： 有过开发脚本经验，需要长期合作定期维护更新 合作方式： 兼职/长期，报酬具体详聊，根据开发阶段以及更新难度，预算4-8k。 15年+全栈可接，最近刚做了一单AutoJsAPK魔改+图片识别自动化的项目

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

工作介绍 这是一个关于AI语音训练的远程长期兼职工作，录入台普对话，有很多的标注和质量要求，需要严谨细心，比较适合小城市空闲时间比较多的小伙伴，虽说是兼职，但不建议有全职工作的小伙伴申请，很难保证时长要求。 薪资情况 按小时计费，30元/小时 工作要求 1、认识繁体字，能听懂日常台普，对台文化、新闻、热点熟悉的优先 2、有科学网络能力 3、每周至少30小时以上投入时长 4、按照工作指南严格保证工作质量，细心，严谨 联系说明 符合条件请先邮件发下简历、当前是否有工作、所在城市、是否有相关经历等基本情况，谢谢。