投递时间：2025年03月03日-2025年12月31日
软件形式化验证工程师（实习）
400-500元/天
北京
4天/周 3个月
企业服务
岗位职责：
● 与研发团队深入沟通产品的安全要求和现状，对产品模型进行形式化规约和验证
● 对核心系统和模块进行形式化建模和属性验证，保障系统设计的正确性和安全性
● 和产品团队沟通， 利用逻辑化的方式解决客户使用云产品中遇到的问题
● 开发自动化验证工具，构建自动化验证平台提升验证效率
● 将形式化的方法和线上生产系统进行整合，提升生产系统的迭代效率，降低迭代风险
● 对核心系统和模块进行形式化建模和属性验证，保障系统设计的正确性和安全性
● 和产品团队沟通， 利用逻辑化的方式解决客户使用云产品中遇到的问题
● 开发自动化验证工具，构建自动化验证平台提升验证效率
● 将形式化的方法和线上生产系统进行整合，提升生产系统的迭代效率，降低迭代风险
任职要求：
● 计算机科学、软件、数学、自动化、电气工程等相关专业硕士学历
● 具备Java，C ++，Go，Python中一种或多种语言的编程经验
● 熟悉常见验证技术，具备较强的数学推理能力
● 熟悉约束求解器，如Z3、CVC5等，有在开源求解器上修改代码的能力
● 掌握一种以上形式化证明或程序验证工具，不限于Coq、Lean、 F*、CBMC、Dafny
● 发表过形式化验证相关高水平论文优先
● 具备Java，C ++，Go，Python中一种或多种语言的编程经验
● 熟悉常见验证技术，具备较强的数学推理能力
● 熟悉约束求解器，如Z3、CVC5等，有在开源求解器上修改代码的能力
● 掌握一种以上形式化证明或程序验证工具，不限于Coq、Lean、 F*、CBMC、Dafny
● 发表过形式化验证相关高水平论文优先
阿里云
如发现虚假招聘、广告，或以任何名义索要证件、费用，或诱导异地入职、参与培训等均属违法，发现请立即举报
收藏
立即投递
