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

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

Location： 杭州市西湖区西溪谷国际商务中心G座 上海在静安区氪空间 北京在昌平龙泽地铁站滴滴天空之城A座 我们这里是滴滴国际金融最重要的业务和技术底盘，用技术的手段将底盘能力做扎实(即保障资金安全、业务系统高可用)， 国际化业务才能在更专注的去追寻业务的高速发展，不用因为技术底盘不扎实而影响业务的发展。如果你对这一块有兴趣，会得到比较快的技术成长 * 国际化业务目前发展势头良好。
 * 资金安全&高可用，预防线上的资损问题和高可用问题，是国际金融业务的核心技术和底盘。
 * 团队氛围开放积极，有机会与国内外各部门业务与技术进行日常交流学习。 职责要求: 1、滴滴国际化金融(IBG FinTech) 技术风险能力建设，包含应急能力、变更防御、红蓝攻防、性能容量、资金安全，构建Fintech技术风险体系； 2、参与重大项目的技术风险保障工作，对技术风险领域进行评审和分析； 3、贴身业务，挖掘业务风险，沉淀技术风险领域标杆，释放研发技术风险投入，更聚焦在业务研发上； 4、明星业务，多底盘充满了挑战和机遇，欢迎来战。

1. 负责云网络的虚拟化网元底座NFV平台的数据面技术方案，包括基于需求进行技术可行性分析，技术方案选型、功能设计以及技术架构设计等工作 ； 2. 负责云网络的虚拟化网元底座NFV平台的数据面开发，包括需求代码开发、代码Review、测试及上线发布； 3. 负责云网络的虚拟化网元底座NFV平台的稳定性能力建设以及性能优化，包括线上问题处理、问题诊断等，确保系统的安全可靠，提升产品稳定性和性能； 4. 参与云网络虚拟化网元产品的技术预研以及技术规划，跟踪和了解最新的产品技术趋势。

制定和实施海外各国家地区的生态用工策略，管理海外供应商，制定和运营国际化的外包商务体系、跟进日常需求管理、管控海外用工风险，满足阿里云的全球化生态用工需求。 1、海外生态用工策略： • 基于海外各国家/地区的法律法规和用工政策，研究全球生态用工领域的全球趋势，结合对云计算业务发展方向的理解，制定海外生态用工策略，为业务提供用工方式的解决方案。 2、海外生态用工供应商管理： • 基于对海外各国家/地区的全球性/本土化供应商的了解，布局、遴选和发展合适的供应商，对供应商进行成本、风险、资源等的日常管理，制定对海外供应商的商务体系（结算、激励等）。 3、海外生态用工需求管理： • 负责各业务在海外各国家/地区的生态用工需求的满足，关注时效性、稳定性、用工质量和用工成本。 4、海外生态用工风险管理： • 协同海外供应商，对海外生态用工的劳动纠纷、海外生态用工的EHS风险事件进行妥善处置。