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

社招全职5年以上云智能集团2026-04-03地点：北京 | 杭州状态：招聘♡ 收藏

扫码手机上打开

工作描述

任职要求
• 计算机科学、软件、数学、自动化、电气工程等相关专业博士学历
• 具备Java，C++，Go，Python中一种或多种语言的编程经验
• 熟悉常见软件验证技术，具备较强的数学能力，有两年以上形式验证、程序分析、约束求解和定理证明方面的工业/学术经验
• 熟悉开源SMT约束求解器，如Z3、CVC5等，有在开源求解器基础上定制化开发的能力
• 掌握一种以上定理证明器或程序验证工…

登录查看完整工作描述

微信扫码，1秒登录

📮 投递简历 ✨AI模拟面试

难度：

包括英文材料

学历+

Java+

还有更多 •••

登录查看完整学习资料

相关职位

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

社招5年以上

• 计算机科学、软件、数学、自动化、电气工程等相关专业博士学历 • 具备Java，C++，Go，Python中一种或多种语言的编程经验 • 熟悉常见软件验证技术，具备较强的数学能力，有两年以上形式验证

更新于 2026-04-03北京|杭州

基础设施与稳定性工程-高级基础平台研发专家-文件系统存储方向

社招8年以上技术类-开发

1. 熟悉大语言模型、生成式AI模型的训练、推理的I/O 特性及对存储系统的需求。 2. 熟悉大数据系统、机器学习系统领域内业界主流的持久化存储及缓存系统，如hdfs、alluxio等，了解其中的关键

更新于 2026-05-20北京|杭州

基础设施与稳定性工程-高级基础平台研发专家-文件系统存储方向

社招8年以上技术类-开发

1. 熟悉大语言模型、生成式AI模型的训练、推理的I/O 特性及对存储系统的需求。 2. 熟悉大数据系统、机器学习系统领域内业界主流的持久化存储及缓存系统，如hdfs、alluxio等，了解其中的关键

更新于 2026-04-02北京|杭州

千问事业部-基础平台高级研发工程师-Agent平台方向

社招2年以上技术类-开发

1、计算机或相关专业本科及以上学历，2年以上工作经验，熟练掌握 Python/Java； 2、有丰富的 Linux 后台开发经验，熟练掌握服务端架构设计、开发和调试技能；熟练掌握 K8S & Doce

更新于 2026-04-06广州