蚂蚁金服蚂蚁技术研究院长期研究型实习生-图计算方向
实习兼职蚂蚁技术研究院长期研究型实习生项目地点：北京 | 杭州状态：招聘
任职要求
职位要求： 1.有相关研究背景的博士生，特别优秀的硕士生亦可； 2.在系统软件/体系结构/数据库/高性能计算等领域的顶尖学术会议/期刊有相关论文发表者，以及相关竞赛获得优异成绩者优先； 3.有不错的问题发掘和开发实现能力； 4.有良好的表达和沟通能力及协作精神；工作认真严谨，有强烈的责任心； 5.至少3个月的实习工作。
工作职责
职位描述： 1.探索各类软硬件结合的优化手段，充分挖掘并不断逼近现代计算机体系结构下在线/近线/离线图计算系统的性能极限； 2.开展与其它相关领域/学科结合的交叉研究，拓宽图计算的应用范围； 3.解决前沿的图计算技术问题，将相应成果以论文形式发表到顶尖学术会议/期刊，并与研发团队协作落地到实际场景； 4.研究方向包括但不限于：云原生高性能图存储，图数据库查询优化，超大规模图数据仓库，多模态图计算系统，面向自然科学的图计算应用，图智能技术，等等。
包括英文材料
相关职位
实习蚂蚁技术研究院长
1. 结合知识图谱和LLM，构建一个AI系统解决现实世界里的复杂问题（如生成机器学习算法，数据分析，生成代码等等）； 2. 近期的研究方向包括并不限于： （1） 用于复杂问题求解的知识增强型大语言模型 （2）图基础模型 （3）基于代码图的代码生成 （4）用符号推理增强LLM的推理 3. 开展与其它相关领域/学科结合的交叉研究，拓宽知识图谱和LLM的应用范围； 4. 将相应成果以论文形式发表到顶尖学术会议/期刊，并与研发团队协作落地到实际场景
实习蚂蚁技术研究院长
职位描述： 1.开展图计算与隐私计算交叉领域的研究，探索安全融合各类关联数据，全面深入地建模和分析复杂场景的方法，挖掘图数据的价值和图计算的能力； 2.探索各类软硬件结合的优化手段，充分挖掘并不断逼近保护数据隐私安全的前提下多方图计算系统的性能极限； 3.解决前沿的图隐私计算技术问题，将相应成果以论文形式发表到顶尖学术会议/期刊，并与研发团队协作落地到实际场景； 4.研究方向包括但不限于：多方图查询协议与算法，多方图分析与图学习框架，高性能图隐私计算系统，安全可信的图智能，等等。
实习蚂蚁技术研究院长
职位描述： 1.用形式化方法对程序语言的内存安全、功能安全性进行验证，特别是Rust语言方向； 2.用形式化方法对安全时序逻辑和功能、协议设计、算法设计的安全属性，进行验证； 3.用形式化方法对较简单的、小规模的AI系统的安全属性，进行验证； 4.探索形式化方法，发表高水平论文或专利，提升蚂蚁集团在该领域的业界影响力； 5.与国内外形式化验证领域的一流研究机构进行交流与合作。