技术:拥有丰富的IT 基础架构和网络安全管理实践知识,熟悉如下技术: SD-WAN(Cisco, Fortinet), LAN(Cisco Catalyst/Nexus, Huawei, Dell, H3C), Wi-Fi, Firewall(Cisco, Checkpoint, P
项目:基础架构项目 1.设计和实施网络解决方案 - 网络防火墙, 网页访问过滤, Meraki Wi-Fi方案的设备选型,集中化管理架构设计,完成在超过20分支机构实施落地。 2.主导完成Azure上关键业务系统灾备方案设计,并执行年度演练。 3.互联网访问优化项目- 设计并完成
案例: 云转型School in the
技术:1.有15年的web前端开发经验(有带人经验),熟练掌握HTML5、CSS3、JS、TS,ES6,对JavaScript运行机制、作用域、闭包、原型链、继承、模块化、promise等理论知识及场景应用都有比较丰富的认知 2.熟练掌握React技术栈,熟悉Vue,Angular,
项目:天元效能平台(2022.07-2023.10) 描述:搭建公司内部使用的效能平台系统,从0到1搭建项目,经历了整个项目的生命周期,对接公司内部不同部门使用,获得公司项目创新奖。集需求流程(新建需求,需求详情,修改需求,需求列表)、项目管理和项目配置、人员权限管理与配置、项目构建
案例: 天元效能平台
技术:毕业国内985计算机专业,研究生学历 在多家大型国企和外企担任高级开发和软件架构设计。 精通Java/Python/Golang 精通Mysql/Postgres SQL/MonogDB 精通微服务架构Spring Boot/RabbitMQ/Redis 精通K8s和d
项目:2016/06—now:Scheduler Service 项目 开发环境: Java1.8, Git,Maven, Eclipse\IntelliJ IDEA, Centos\MacOS\Windows 项目描述: 基于Spring MVC的Web Service开发,
案例: OIB网站
技术:履历背景:长期从事自然语言处理(LLM/RLHF)、sympy符号计算、lean4形式化证明的研究,掌握NLP实用技术并利用lean4语言对arXiv论文的观点进行求证,工程实践经验丰富,有完整NLP项目实施与交付经验,获交互式机器证明的软件著作权。 工程实践:精通C/C+
项目:工作概述:主导自然语言处理研发(C++/Java/Python),承担专利技术检索数据库等有关文本处理与聚类、段落切割与句法分析、大模型训练以及算法研究与优化工作,赋能公司技术变革与信息服务产品性能提升。 文本聚类(Java算法):使用Kmeans++算法,通过初始化聚类中心优
案例: 算法形式化定理库