智能互联阿里云智能-基础平台研发高级专家-形式化验证

1、技术/研究方案设计 • 与产研团队深入沟通产品的安全要求和现状，对认证和访问控制模型进行形式化规约和验证 • 对核心系统以及核心模块进行形式化建模和属性验证，保障系统正确性和安全性，提升系统稳定性。 • 开发软件验证工具，构建自动化验证平台提升验证效率和生产代码质量 • 将形式化验证工具和线上生产系统进行整合，提升生产系统的迭代效率 2、技术与研究创新点的实现 • 利用逻辑推理的方式解决客户使用云产品中遇到的问题 • 负责核心创新点的算法设计、难点攻关、国内外相关工作比较以及代码开发、测试与调优等 3、论文发表 • 独立、或通过指导实习生完成发表具有国际影响力的会议及期刊论文 • 形成国内外专利、软件著作权等知识产权

• 负责开放平台访问凭证管理业务的需求分析和交付，解决面向高并发、稳定性、海量数据、复杂业务场景的技术问题； • 基于技术方案的拆解，按照任务目标和产出规范，完成任务/子任务的设计、编码开发和系统功能实现 • 负责核心功能的架构与代码模板的编写，开发与维护系统公用核心模块，技术架构重构、优化等 • 对编码进行阶段性的讨论和CodeReview，并通过调试优化，推动代码成功部署 • 确保系统的稳定性、安全性、性能，寻找并解决系统中的潜在风险和瓶颈。 • 调研并分析业界访问凭证管理的发展态势，在技术和产品上不断提升阿里访问凭证的服务和客户体验； • 帮助团队不断提升工程质量和工程效率；

• 负责开放平台访问凭证管理业务的需求分析和交付，解决面向高并发、稳定性、海量数据、复杂业务场景的技术问题； • 基于技术方案的拆解，按照任务目标和产出规范，完成任务/子任务的设计、编码开发和系统功能实现 • 负责核心功能的架构与代码模板的编写，开发与维护系统公用核心模块，技术架构重构、优化等 • 对编码进行阶段性的讨论和CodeReview，并通过调试优化，推动代码成功部署 • 确保系统的稳定性、安全性、性能，寻找并解决系统中的潜在风险和瓶颈。 • 调研并分析业界访问凭证管理的发展态势，在技术和产品上不断提升阿里访问凭证的服务和客户体验； • 帮助团队不断提升工程质量和工程效率；

1. 负责云平台基础设施的架构设计与研发，包括云原生应用管理平台、应用发布与调度、资源管理与调度、云产品部署和热升级等能力的研发。 2. 负责云平台IaC（基础设施即代码）的设计与研发，将阿里云的架构、资源和部署形态抽象为IaC描述。并基于IaC，实现对阿里云新建站点/Region/AZ的部署、热升级、扩缩容和资源管理。 3. 负责Kubernetes组件以及Operator的设计与开发与维护。