我爱方案网    85人浏览/7人投稿    156天前    待托管赏金

1、烟雾迷宫采用ADPD188BI 芯片，已经集成到我们公司的产品里，要求无烟雾时烟雾浓度值无变化，有烟雾时有明显变化 会提供样品，以及规格说明书； 2、后续会更换感烟芯片，效果可以的话会长期合作； 3、价格私聊或者面谈。

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

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

软件商务网    47人浏览/7人投稿    219天前    待托管赏金

2D美术急发直包，需三国杀/永劫无劫风格，请带作品联系我，只需美宣作品（3D/AI勿扰）。

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

1.财务机器人开发与集成：负责财务自动化流程（RPA机器人）的设计、开发、测试和部署工作，确保机器人能够稳定、高效地操作ERP系统。 2.ERP系统接口开发：根据财务自动化需求（如自动对账、凭证生成、发票处理等），对现有ERP系统进行必要的二次开发或接口开发，为机器人提供数据支持和操作入口。 3.业务流程理解与优化：与财务团队沟通，深入理解财务业务流程，并将业务需求转化为清晰的技术方案和自动化流程。 4.系统维护与问题排查：负责维护上线的财务机器人及相关接口，快速定位并解决系统运行中出现的故障和问题，编写相关技术文档。 任职要求： 必备经验：​ 具有至少2年以上的ERP系统开发经验 百力奥 创立于2017年 作为国家高新技术企业及国家二级保密单位 ，专注于技术驱动型人才解决方案。我们以"智能系统+平台资源+专业团队"三位一体的业务生态 ，为企业提供研发人才外包、团队快速组建及HR系统支持服务，致力于帮助科技型企业突破创新瓶颈。通过全链路外包服务模式，我们实现了合规、高效、灵活的人力资源配置，助力企业快速发展。 B ：百分百的努力和追求，对客户服务和工作细节精益求精的态度。 L ：充满活力，员工全力以赴、努力拼搏的奋斗精神。 A ：深耕于精深的人力资源领域勇于破解难题，开创行业新境界。

斗包网    52人浏览/7人投稿    222天前    待托管赏金

手机APP 一个租车软件 客户可以吧自己闲着的车绑定上应用 让车子自己赚钱 一个小时十五元到100元不等 让租车公司也可以加入进来 车辆租出去后 车主自己选择汽车在的市

软件项目交易网    37人浏览/7人投稿    219天前    待托管赏金

通过web端管理账单，生成物业欠费和水电欠费，同步到移动端，然后通过电脑生成小区的专属二维码，业主扫码之后输入房间号查询未交账单即可。（或者通过微信公众号或者小程序查询，缴费）

YesPMP    34人浏览/7人投稿    219天前    待托管赏金

短视频无水印解析聚合平台搭建，要日解析能承受20万量的，可以接这方向的竞标沟通，具体的详细聊，报价 沟通

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

本公司提供源码，招收运维有经验的运维人才，有经验的优先，做日常维护工作。遇到问题第一时间能处理。

智城外包网    78人浏览/7人投稿    352天前    待托管赏金

我想设计一个与 Diroots 完全相似的 Revit 插件，并具有其所有功能。 https://diroots.com/ 这是插件网站，可以查看，但我不想建立网站，我希望插件与 Revit 配合使用

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

【核心目标】 本次需求的核心是进行pdf获取。 【具体要求】 对biorxiv预印本pdf下载 https://www.biorxiv.org/ 接口说明：https://api.biorxiv.org/ 多少预算