蚂蚁金服蚂蚁技术研究院长期研究型实习生-密码学方向
实习兼职蚂蚁技术研究院长期研究型实习生项目地点：北京 | 杭州状态：招聘
任职要求
职位要求： 1.有相关研究背景的博士生，特别优秀的硕士生亦可； 2.熟悉至少1种密码学/隐私保护（包括但不限于全同态FHE/安全多方计算MPC/差分隐私DP等等）领域的技术，了解当前国内外业界在该领域的最新进展； 3.熟练掌握至少一种编程语言，具备快速复现四大顶会上该领域相关论文的能力，有相应开源库贡献最佳；在计算、通信等性能优化方面有独到的见解。 4.熟练掌握该领域相关技术的数学论证方法（如基于格的数学规约；或MPC、DP中的安全性证明），具备独立在无人区进行科研的能力，在CCF-B以上级别的国际会议上发表过论文； 5.至少3个月的实习工作。
工作职责
职位描述： 1.负责密码学前沿技术跟踪和创新预研； 2.负责研发面向场景优化的密码学算法和系统； 3.负责软硬协同的密码加速技术研究。
包括英文材料
相关职位
实习蚂蚁技术研究院长
职位描述： 1.开展图计算与隐私计算交叉领域的研究，探索安全融合各类关联数据，全面深入地建模和分析复杂场景的方法，挖掘图数据的价值和图计算的能力； 2.探索各类软硬件结合的优化手段，充分挖掘并不断逼近保护数据隐私安全的前提下多方图计算系统的性能极限； 3.解决前沿的图隐私计算技术问题，将相应成果以论文形式发表到顶尖学术会议/期刊，并与研发团队协作落地到实际场景； 4.研究方向包括但不限于：多方图查询协议与算法，多方图分析与图学习框架，高性能图隐私计算系统，安全可信的图智能，等等。
实习蚂蚁技术研究院长
职位描述： 1.用形式化方法对程序语言的内存安全、功能安全性进行验证，特别是Rust语言方向； 2.用形式化方法对安全时序逻辑和功能、协议设计、算法设计的安全属性，进行验证； 3.用形式化方法对较简单的、小规模的AI系统的安全属性，进行验证； 4.探索形式化方法，发表高水平论文或专利，提升蚂蚁集团在该领域的业界影响力； 5.与国内外形式化验证领域的一流研究机构进行交流与合作。