logo of antgroup

蚂蚁金服蚂蚁技术研究院长期研究型实习生-机器学习安全方向

实习兼职蚂蚁技术研究院长期研究型实习生项目地点:北京 | 上海 | 杭州状态:招聘

任职要求


1.有相关研究背景的博士生,特别优秀的硕士生亦可;
2.熟悉机器学习安全方向的算法、研究和复现技术,了解当前国内外业界在该领域的最新进展;
3.熟练掌握至少一种编程语言,具备快速复现四大安全顶会或机器学习顶会上该领域相关论文的能力,有相应开源库贡献最佳。
4.熟练掌握该领域相关技术的数学、统计论证方法,具备独立在无人区进行科研的能力,在CCF-A级别的国际会议上发表过论文;
5.至少3个月的实习工作。

工作职责


负责机器学习安全方向的前沿技术跟踪和创新预研,包括模型后门攻防、水印、越狱、安全可解释性等
包括英文材料
机器学习+
算法+
相关职位

logo of antgroup
实习蚂蚁技术研究院长

1. 结合知识图谱和LLM,构建一个AI系统解决现实世界里的复杂问题(如生成机器学习算法,数据分析,生成代码等等); 2. 近期的研究方向包括并不限于: (1) 用于复杂问题求解的知识增强型大语言模型 (2)图基础模型 (3)基于代码图的代码生成 (4)用符号推理增强LLM的推理 3. 开展与其它相关领域/学科结合的交叉研究,拓宽知识图谱和LLM的应用范围; 4. 将相应成果以论文形式发表到顶尖学术会议/期刊,并与研发团队协作落地到实际场景

logo of antgroup
校招蚂蚁技术研究院长

蚂蚁技术研究院交互智能实验室视觉团队旨在探索计算机视觉领域的前沿技术,涵盖基础视觉生成模型、多模态模型、多模态语义对齐、三维重建、渲染与生成、室内定位与导航、智能决策、人机交互等多个技术方向。

logo of antgroup
实习蚂蚁技术研究院长

参与大模型数据侧的前沿研究工作。你将与顶尖的研究团队合作,探索数据在大模型训练、优化和应用中的核心作用,推动大模型数据智能领域的创新。

logo of antgroup
实习蚂蚁技术研究院长

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