阿里云阿里云智能-研发高级专家-自动化平台-北京
任职要求
- 计算机相关专业本科及以上学历; - 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. 负责道路数据的精细化渲染研发。