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

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

扫码手机上打开

工作描述

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

登录查看完整工作描述

微信扫码，1秒登录

📮 投递简历 ✨AI模拟面试

难度：

包括英文材料

学历+

Java+

还有更多 •••

登录查看完整学习资料

相关职位

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

社招5年以上云智能集团

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

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

阿里云智能-基础平台研发专家-访问凭证管理-北京（停招）

社招2年以上云智能集团

• 有扎实的Java基础，熟悉IO/多线程/网络等基础框架，熟悉分布式/缓存/消息/搜索等机制； • 精通Java Web应用的开发，深入了解Spring/Mybatis/Cache/RPC/JVM等

更新于 2025-09-24北京

阿里云智能-基础平台研发专家-访问凭证管理-北京

社招2年以上

• 有扎实的Java基础，熟悉IO/多线程/网络等基础框架，熟悉分布式/缓存/消息/搜索等机制； • 精通Java Web应用的开发，深入了解Spring/Mybatis/Cache/RPC/JVM等

更新于 2026-03-30北京

阿里云智能-可观测基础平台研发专家-杭州

社招3年以上

1. 熟悉AI领域，对于AI应用数据特征、数据存储和查询需求有深入理解，对Agent有实践经验； 2. 深度理解体系结构，具备扎实的内核基础，熟悉内存管理（如虚拟内存映射、NUMA）、进程调度及I/O

更新于 2026-09-14杭州