技术:• 目前带领团队管理17个维保项目,400多台物理机、1个150平方左右的数据中心运营机房、1000多台虚机,提供7*24小时响应服务。致力为客户提供稳定的运行环境以及用户体验。 • 最近7年主要负责基础建设、系统与开发运维工作,主要从事自动化运维与企业信息化建设,为用户提
项目:独立负责提供车联网产品运维部署方案、服务器、网络安全等资源规划、以满足高可用、安全等保要求。 独立负责编写在Centos7系统下的ansilbe-playbook自动化部署脚本,实现k8s、常用中间件高可用部署。 独立负责DevOps工具链的环境搭建配置,集成Jenki
案例: 运维架构
技术:履历背景:长期从事自然语言处理(LLM/RLHF)、sympy符号计算、lean4形式化证明的研究,掌握NLP实用技术并利用lean4语言对arXiv论文的观点进行求证,工程实践经验丰富,有完整NLP项目实施与交付经验,获交互式机器证明的软件著作权。 工程实践:精通C/C+
项目:工作概述:主导自然语言处理研发(C++/Java/Python),承担专利技术检索数据库等有关文本处理与聚类、段落切割与句法分析、大模型训练以及算法研究与优化工作,赋能公司技术变革与信息服务产品性能提升。 文本聚类(Java算法):使用Kmeans++算法,通过初始化聚类中心优
案例: 算法形式化定理库