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

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