阿里云阿里云智能-研发高级专家-自动化平台-北京
任职要求
- 计算机相关专业本科及以上学历； - 8年及以上的后端研发经验、其中至少3年以上是IaC相关的经验（Terraform、CDK、Pulumi、Crossplan、CloudFormation、ARM template等）； - 5年及以上领导技术团队的经验，能够培养团队成员、吸纳更多人才、带领团队突破技术难点、领导团队技术…
工作职责
我们希望用户以最高的效率和质量集成阿里云。但云服务和业务的复杂性让手动编排上万个API变得困难、易错。借助Infrastructure as Code（IaC），通过声明式、代码化的方式管理云上资源，可以极大提升用户集成阿里云的效率和质量。 作为阿里云开放平台 - 自动化平台团队的研发高级专家，你将通过技术的手段不断提升用户集成阿里云的效率和质量，让每个用户都享受到自动化带来的便捷，让IaC变成用户集成阿里云的首选。你的职责包括： ● 规划阿里云的自动化平台和工具体系，洞察用户的痛点和使用路径，在云控制台、在线调试、在线服务托管、本地客户端等多种形态中建设出一套体系化的方案； ● 定义内部标准、搭建框架、推动云产品改造。通过标准化、自动化的方式生成高质量的IaC工具； ● 整体把控团队的技术设计和架构，关注工程质量、关注系统的稳定性和安全性； ● 与云产品团队高效协作，深入理解他们的场景和需求，推动阿里云统一的IaC质量提升； ● 深入理解用户的场景，以开发者的视角亲自动手实践、dogfood自己的产品。积极进行内外布道，让IaC的理念深入人心。 我们希望寻找一名志同道合、热爱开发、充满激情的候选人加入我们的团队！我们的愿景是赋能开发者，使他们能够更轻松、更高效的集成阿里云。我们相信，随着云计算技术的不断发展，它将会像水电煤一样成为社会的基础设施，为人们带来更多的便利和创新。作为开放平台的一员，你将加入到一个充满使命感、热情激昂、不畏艰难的团队。诚挚期待你的加入，跟我们一起并肩作战，为用户提供无法计算的价值！
1、技术/研究方案设计 • 与产研团队深入沟通产品的安全要求和现状，对认证和访问控制模型进行形式化规约和验证 • 对核心系统以及核心模块进行形式化建模和属性验证，保障系统正确性和安全性，提升系统稳定性。 • 开发软件验证工具，构建自动化验证平台提升验证效率和生产代码质量 • 将形式化验证工具和线上生产系统进行整合，提升生产系统的迭代效率 2、技术与研究创新点的实现 • 利用逻辑推理的方式解决客户使用云产品中遇到的问题 • 负责核心创新点的算法设计、难点攻关、国内外相关工作比较以及代码开发、测试与调优等 3、论文发表 • 独立、或通过指导实习生完成发表具有国际影响力的会议及期刊论文 • 形成国内外专利、软件著作权等知识产权
1、技术/研究方案设计 • 与产研团队深入沟通产品的安全要求和现状，对认证和访问控制模型进行形式化规约和验证 • 对核心系统以及核心模块进行形式化建模和属性验证，保障系统正确性和安全性，提升系统稳定性。 • 开发软件验证工具，构建自动化验证平台提升验证效率和生产代码质量 • 将形式化验证工具和线上生产系统进行整合，提升生产系统的迭代效率 2、技术与研究创新点的实现 • 利用逻辑推理的方式解决客户使用云产品中遇到的问题 • 负责核心创新点的算法设计、难点攻关、国内外相关工作比较以及代码开发、测试与调优等 3、论文发表 • 独立、或通过指导实习生完成发表具有国际影响力的会议及期刊论文 • 形成国内外专利、软件著作权等知识产权
部门介绍： 业界领先的地图渲染团队，新一代智能导航的领军者。核心目标是通过导人、导车的产品形态落地，核心技术能力的升级创新，持续为导航、打车、信息、汽车的地图渲染、车道级导航、AI应用提供引擎能力支撑；还有面向未来的云渲染、数字孪生等方向的探索；团队专注地图渲染研发，技术氛围浓厚、追求产品极致，以连接真实世界，服务于广大用户的出行和生活。 部门亮点： ● 车道级导航业界领先，利用几何建模技术，最早实现了人车共导和沉浸式导航。 ● 3D视界，采用游戏化实时渲染技术，结合AI技术，创新性实现了时空互联地图。 ● 顶流产品所需要的渲染技术、图形学、几何建模等业界难题等你来挑战。 岗位职责： 1. 负责3D空间关系构建与建模算法研发； 2. 负责几何图形算法的架构设计与落地； 3. 负责道路数据的精细化渲染研发。
构建面向智能计算时代的下一代AI质量保障体系，驱动专有云智算、大模型等核心AI产品的卓越质量交付，同时通过AI技术重塑软件测试范式，打造智能化、前瞻性的测试基础设施： 1、 负责专有云智算平台（含GPU资源调度、高性能存储/网络组件）、大模型服务产品的全链路质量体系建设 2、同时能够将AI技术深度融入软件测试全流程，通过AI技术驱动测试效率提升、质量优化和流程变革 3、主导AI测试工具研发、智能化测试体系建设，并为团队提供AI技术在测试领域的前沿解决方案。