工作: 1、 使用Lean4形式化数学竞赛题目的解题过程 2、指导其他人使用工具完成lean4语言的转化（也按条结算提成） 待遇: 日薪1000+提成（计件多劳多得），日均2000+ 时间: 自由，自己安排 周期: 有数据包可持续做 可居家 需求： 1、需要lean4语言形式化奥数题的解题过程； 2、需要林业专业，精通遥感地图的教授（背书，最好是能真正参与项目，出具方案），标注卫星地图识别到的植被区、植被； 3、需要文学专业的，进行文学题解析，对AI给出的答案进行综合优化； 4、需要数据专业的，精通Excle表，分析内容是否符合三个特性
岗位职责 1. 基于公司现有Scrapy框架，遵循公司编码规范，完成指定网站的漏洞数据抓取开发。原则上所有数据源需支持增量和全量爬取 2. 输出符合公司规范的爬虫文档（Spider逻辑说明、字段映射表、反爬策略记录） 3. 输出符合公司Schema的数据。 技术要求 1、1年以上Scrapy实战经验，3年以上的python开发经验，熟悉并能正常使用Redis、mongo、mysql相关中间件。 2、具备突破高防护级别网站的实际经验（反爬），包括但不限于scrapy-proxy-pool或自定义代理中间件开发；Cloudflare/WAF防护对抗策略（请求速率控制、Cookie策略）。（需提供过往案例证明代码片段可进行脱敏处理） 增量、全量爬取一下网站信息， 按要求返回数据结构 https://github.com/CVEProject/cvelistV5 https://huntr.dev/bounties/hacktivity/ https://github.com/aquasecurity/vuln-list-debian/blob/main/tracker/CVE https://www.cvedetails.com/vulnerability-list/published_on-today/ https://app.opencve.io/cve/ https://feedly.com/cve https://cve.circl.lu/vuln/cve-2024-57881 https://gitlab.com/gitlab-org/security-products/gemnasium-db https://www.cybersecurity-help.cz/vulnerabilities/ https://gstreamer.freedesktop.org/security https://www.suse.com/security/cve/ https://cxsecurity.com/ https://www.seebug.org/
1、我们目前的数据团队，有时候会遇到一些 flink 的问题，需要找一些有经验的人一起交流 2、正对团队遇到的各种 flink 等数据问题，及时排忧解难提供思路 3、目前技术栈，是用的 阿里云的 flink, 基于 maxcompute 4、不需要长期工作，只需要沟通解决问题就行 5、如果合适，可以长期作为技术顾问合作
项目： 负责 AI 网站的全栈开发工作，包括前端、后端以及数据库的相关开发，优化手机端页面，实现多语言功能。 任职要求： 1. 具备一定前端审美能力，有全栈网站开发经验，有海外网站开发经验者优先。 2. 有 ChatGPT 聚合聊天项目经验者优先。 3. 前端：熟练使用 Next.js 和 Tailwind 进行开发，能够对手机端页面进行优化，确保页面美观。 4. 后端：熟练使用 Node.js，具备丰富对接 API 的能力（现有可直接使用的 API）。 5. 能够接入 Supabase 数据库。 6. 熟悉设置多语言的 i18n。 7. 工作靠谱，具备良好的沟通能力，自由职业者优先。
给任意一台windows设备上放置一个文件，该文件需要得到授权后才能被其他软件使用 功能： 1.未授权的设备自动弹出购买卡密 2..购买卡密后，文件才可以保留在电脑上（没网络可以保留，但是设备联网后文件需要自动被删除且不可找回） 3.定时检查卡密是否过期，如果过期且已经加载到相应的程序中，程序会退出 具体场景见附件
需求：3年以上Go语言开发经验-军工项目 负责高并发网络服务的设计、开发与性能优化 构建和维护基于TCP/UDP协议的核心通信框架 使用net包开发自定义协议通信 HTTP/WebSocket/RPC等应用层协议开发 高性能网络框架（gnet、evio等）实践经验 熟练使用Wireshark/tcpdump进行网络抓包分析 正常上班时间是9:00-18:30，中午管饭 项目周期：6月份结束 地点：中国科学院信息工程研究所北京市海淀区 月薪27000，包含加班费
驻场北京：Python（2人） 1、精通Python及其深度学习框架（例如PyTorch），具备在Linux操作系统下的开发经验，熟练使用ChatGPT； 2、深入理解大模型架构及其相关算法，熟练优化模型效果，具备良好的编码规范，能编写高可读性代码； 3、能充分理解业务需求，具备出色的问题分析及解决能力，能承受高强度工作压力； 4、具备优秀的沟通与团队协作能力； 5、在大模型精调、prompt调优、检索式问答系统（如RAG）、文档处理、多模态处理、向量搜索技术方面拥有实践经验者，优先考虑； 6、有智能投顾或者金融场景大模型相关实践经验者，优先考虑。 地点：呼家楼、东大桥、朝阳门等地铁站附近 周期：1年以上 工作经验3年以上，费用15000-30000
做反拍竞标出价脚本，会编程.Java熟练，懂爬虫，能破解文字验证码，后期随时维护优化脚本。不需要全职，远程即可，时间自由，项目周期三到七天，后期需要能够配合随时优化改进，长期合作项目，地点不限，北京优先
本项目采用基于ruoyi java框架，创建的仓库管理系统，已经完成项目的第一期，需要进行功能迭代和升级。需要工程师有丰富java电商开发经验，对wms，oms，tms系统熟悉。并有基础的前端开发能力。 白天能有时间响应，白天能有时间响应。 希望建立长期合作，每日费用超过600的工程师勿扰。
高级Python 开发 招聘 1. 5年及以上python 开发经验 2. 精通爬虫、精通Django 3. 有大型web 项目开发经验 工作方式： 1. 坐班、地址在龙域中心 2. 预算：800 ~ 1200/天， 按月结算 3. 用人周期2~3个月 硬性要求：全职驻场
岗位职责： 1.基于流行的开源项目和成熟的最佳实践（如用于可观测性的 nginx 入口控制器、特使、开放遥测等），设计和开发面向微服务的容器化云原生应用 2.基于 REST、gRPC/protobuf、mqtt、kafka，使用 C# 进行后端开发 3.使用 Kubernetes 上的运营商或特定于云供应商的服务，设置和维护消息代理（kafka、redpanda、mqtt） 4.实施高级DevOps方法，基于 Kubernetes、helm、kustomize、REST、gRPC 设计和操作云原生应用，最好利用基于Flux、Fleet或 ArgoCD的GitOps方法 岗位要求： 教育背景：计算机科学、信息学、工程、物理或相关领域的本科或硕士学位 工作经验：至少 5 年相关工作经验 技术和专业知识（必需）： 1.在敏捷环境中工作 2.英语流利 3.深入了解云原生计算基金会（CNCF）生态系统。 4.至少精通一种后端开发编程语言，如 C#、golang、C++、Rust 等 5.深入理解分布式系统设计、消息传递、一致性、软件架构。 6.基于 git 的源代码控制 7.具有工业生产和运营技术经验者优先 8.有强烈的学习新技能和新技术的动力。
【岗位职责】 一、岗位职责 1、根据业务需求，编写详细设计，并参与详细设计评审； 2、根据业务需求&详细设计，实现相关业务的代码逻辑编写； 3、日常系统问题跟踪，并解决跟踪问题； 4、其他开放平台的研究，接口对接； 【岗位要求】 1、本科及以上学历，3年-5年工作经验； 2、熟练掌握Java语言，熟练sql编程； 3、熟悉SpringCloud，Spring Boot，Mybatis等开发框架;
项目概述： 我们需要开发一个AI智能体，能够从飞书文档中读取ASIN列表，并根据ASIN从Amazon页面抓取LISTING数据。抓取的数据需要经过一系列运算、判断和分析，最终将结果导出并存储到飞书文档中。 工作内容： 应用COZE平台，开发一个智能体，实现飞书文档的读取和写入功能。 实现从Amazon页面抓取LISTING数据的爬虫功能。 设计并实现数据运算、判断和分析的逻辑。 将处理后的结果导出并存储到飞书文档中。 技术要求： 熟练掌握Python（优先）或其他编程语言（如Java、Node.js等）。 熟悉飞书API或具备快速学习API的能力。 具备网页爬虫开发经验，熟悉HTML解析、反爬虫策略等。 熟悉数据处理和分析，能够设计高效的算法逻辑。 有AI或自动化工具开发经验者优先。
招募核心技术同学，有8年小程序云开发经验的研发负责人带领，已有成熟全栈项目在运行，计划进行后端框架重构升级，通过微信小程序云开发、Electron 和边缘计算技术简化整体架构，具备AI思维，团队沟通nice，创新导向，结果导向，过程管理以人为本，灵活高效为主。
中级java后端工程师用人需求 1.精通JAVA语言，熟悉Springboot、mybatis等开源框架； 2.熟悉redis、postgreSQL、 Mysql数据库，SQL语言及优化； 3.根据产品需求文档独立完成产品各模块研发工作； 4.协助负责人按研发计划完成需求、技术等文档编制工作； 5.可对初级Java工程师进行技术指导； 6.熟悉多线程、消息队列，有大数据处理经验，框架设计，代码优化，性能优化等能力者优先; 7.具备构架设计能力； 8.有前端开发经验优先，有python经验优先。
类别：客户端游戏脚本开发 开发进度：已有前端UI完整源码，由React编写 需求功能：需要开发一个背包系统，体量很小，需求的功能也不多，该点可以详细聊，并且其实已经有了一个运行版本，但是该版本上存在一些小问题未曾处理，可以作为学习参考，除此之外也有其他几款同样的背包系统脚本可供参考，并且项目全程提供你所需要的开发文档和API，项目真的很轻量化，就是很小众，所以需要开发者适应一下环境和API调用即可。 技术：Lua语言。 参考产品：可具体参考DayZ、逃离塔科夫、三角洲行动等此类游戏的背包系统，功能需求大致一样。 人才要求：懂前端React和后端Lua即可，最好是玩过GTA5和上面讲的几款游戏的，没玩过也没关系看一眼视频就都懂了。 其他要求：全程远程，希望可以随时保持沟通，我会尽力提供开发者所需要的一切。
需要熟悉这套技术（data studio/looker studio + firebase），新手就免了 最好是海外游戏行业经验（工具也可以） 帮基于google的技术搭建核心业务报表，严格来说不需要开发，也不用搭建所有报表 能帮我们走通和初步搭建就可以（我们有技术工程师可以跟着一起干，主要是指导我们做） 如果熟悉归因和ga更好
产品类别：电商 开发进度：已经有原型、UI图，需要技术开发。 功能：需要对接客户在网站上充值，让网站能自动识别到账功能。 技术：使用PHP语言、ecshop框架，支持Python、Java 其他不限。
项目：监控流媒体系统 项目目标：构建高效、稳定且功能完备的监控流媒体系统 需求描述： 1、具备实时监控功能，延迟<300毫秒 2、流媒体播放器需适配双端，常规网络视频加载时间<3秒 3、具备录像回放功能，支持倍数播放、暂停、快进、倒退操作 4、视频播放过程中可截图保存或截取视频 技术要求： 1、支持H265、H264视频编码，可切换 2、支持海康、大华、天地伟业SDK协议，符合国标GB/T28181并支持常用流媒体传输协议(FLV、HLS、RTSP等) 3、提供API接口，后续需与我方系统前端集成 4、加密存储，确保数据安全性
全职远程岗位，需配合欧洲时间工作下午2-11点和3-12点。 Python 工程师 / data science engineer 必须熟练使用Python编程，熟练使用Python常用函数，深入了解数据结构和算法 (至少近期3-5年python编程经验) Python restful API 编程经验 对python并行，数据流处理，并行库有深入理解 优秀的Python代码风格 熟练掌握 GIT/CI/CD 开发流程 掌握 unix系统开发 熟悉MongoDB数据库 有data science/机器学习经验优先 有一定的英文读写能力优先 履历要求： 资深级（工作经验3-5年）
