蚂蚁技术研究院长期研究型实习生-形式化验证方向

岗位职责

职位描述

1. 用形式化方法对程序语言的内存安全、功能安全性进行验证，特别是Rust语言方向；
2. 用形式化方法对安全时序逻辑和功能、协议设计、算法设计的安全属性，进行验证；
3. 用形式化方法对较简单的、小规模的AI系统的安全属性，进行验证；
4. 探索形式化方法，发表高水平论文或专利，提升蚂蚁集团在该领域的业界影响力；
5. 与国内外形式化验证领域的一流研究机构进行交流与合作。

任职要求

职位要求：

1. 有相关研究背景的博士生，特别优秀的硕士生亦可；
2. 有良好的研究背景和成果，在高水平国际会议或者学术期刊发表过形式化验证相关论文；
3. 具备发现问题的能力和开发实现能力，能够把研究想法转化为Demo应用；
4. 有良好的表达和沟通能力及协作精神，工作认真严谨，有强烈的责任心；
5. 熟悉某种形式化工具，如Coq,Isabelle,ProVerif,Tamarin,NvSMV,TLA+,KLEE,BMC,Astree,TrustInSoft等；
6. 至少3个月的实习工作。

特色标签

人工智能、内存保护、功能验证、协议验证、学术交流、学术研究、安全、安全保障、安全属性、安全性评估、安全性验证、形式化分析、形式化工具、形式化验证、技术分享、数学/统计相关专业、数学建模、数据安全性、时序分析、智能系统、有国际期刊/会议论文发表、测试工具、研发效能、科研成果、程序设计、算法工程化经验、系统协议、系统可靠性、系统编程、编程语言、网络安全、自动推理、行业论坛、论文发表、证明助手、隐私计算、风控/安全策略经验、风控算法、验证逻辑