阿里云阿里云智能-基础平台研发高级专家-形式化验证
任职要求
• 计算机科学、软件、数学、自动化、电气工程等相关专业博士学历 • 具备Java，C++，Go，Python中一种或多种语言的编程经验 • 熟悉常见软件验证技术，具备较强的数学能力，有两年以上形式验证、程序分析、约束求解和定理证明方面的工业/学术经验 •…
工作职责
1、技术/研究方案设计 • 与产研团队深入沟通产品的安全要求和现状，对认证和访问控制模型进行形式化规约和验证 • 对核心系统以及核心模块进行形式化建模和属性验证，保障系统正确性和安全性，提升系统稳定性。 • 开发软件验证工具，构建自动化验证平台提升验证效率和生产代码质量 • 将形式化验证工具和线上生产系统进行整合，提升生产系统的迭代效率 2、技术与研究创新点的实现 • 利用逻辑推理的方式解决客户使用云产品中遇到的问题 • 负责核心创新点的算法设计、难点攻关、国内外相关工作比较以及代码开发、测试与调优等 3、论文发表 • 独立、或通过指导实习生完成发表具有国际影响力的会议及期刊论文 • 形成国内外专利、软件著作权等知识产权
1、技术/研究方案设计 • 与产研团队深入沟通产品的安全要求和现状，对认证和访问控制模型进行形式化规约和验证 • 对核心系统以及核心模块进行形式化建模和属性验证，保障系统正确性和安全性，提升系统稳定性。 • 开发软件验证工具，构建自动化验证平台提升验证效率和生产代码质量 • 将形式化验证工具和线上生产系统进行整合，提升生产系统的迭代效率 2、技术与研究创新点的实现 • 利用逻辑推理的方式解决客户使用云产品中遇到的问题 • 负责核心创新点的算法设计、难点攻关、国内外相关工作比较以及代码开发、测试与调优等 3、论文发表 • 独立、或通过指导实习生完成发表具有国际影响力的会议及期刊论文 • 形成国内外专利、软件著作权等知识产权
1. 研发针对各AI训推业务的缓存加速系统，充分利用HBM、NVMe SSD等计算集群的高速存储介质及RDMA通信带宽，提高AI训推计算效率与性能，为集团AI业务的端到端的io性能、稳定性负责。 2. 在持久化存储基础上，利用计算集群的存储介质建设统一的日志文件系统。 3. 通过对文件存储层进行完善，强化文件系统存储能力，改善存储空间和数据读写速度，推动提高计算效率与性能。
1. 研发针对各AI训推业务的缓存加速系统，充分利用HBM、NVMe SSD等计算集群的高速存储介质及RDMA通信带宽，提高AI训推计算效率与性能，为集团AI业务的端到端的io性能、稳定性负责。 2. 在持久化存储基础上，利用计算集群的存储介质建设统一的日志文件系统。 3. 通过对文件存储层进行完善，强化文件系统存储能力，改善存储空间和数据读写速度，推动提高计算效率与性能。
1、负责云原生容器平台和智能体平台的设计和开发，持续迭代平台能力； 2、参与基础应用开发框架和组件开发，深入参与业务落地，以确保技术的高效集成与实际落地。； 3、保基础平台系统架构的稳定、高效运行，帮助业务优化性能和改善系统稳定性。