logo of antgroup

蚂蚁金服蚂蚁技术研究院长期研究型实习生-编译器方向

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

任职要求


职位要求:
1.有相关研究背景的博士生,特别优秀的硕士生亦可;
2.在编程语言、体系结构、软件工程、系统软件等相关领域有高质量论文(CCFA类学术会议或者期刊的论文);
3.在编译技术领域具有显著成果,具有很强的研究和创新能力,跟踪领域内前沿的研究成果并能够将研究成果验证落地;
4.深入理解至少一种编译器架构,例如:GCC/LLVM等,有runtime及虚拟机开发经验,例如:JIT/JVM等,熟悉CPU指令集,例如:RISC-V/x86/ARM等;
5.了解编译器优化技术,对数据流/控制流分析、循环优化、IPA分析、GC等有经验;
6.较强的表达和沟通能力,工作认真、严谨、敬业。有很强的分析问题和解决问题的能力,有强烈的责任心;
7.至少3个月的实习工作。

工作职责


职位描述:
1.面向异构计算、软件工程、安全隐私、绿色计算等方向,打造蚂蚁编译技术平台;
2.定义新的编译架构,打造新的编译生态,探索新的技术方向。
包括英文材料
GCC+
LLVM+
JVM+
GC+
RISC-V+
相关职位

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

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

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

通过大模型的架构、预训练、继续预训练和模型融合方法等创新,推进大模型在通用智能领域的进展

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

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

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

负责机器学习安全方向的前沿技术跟踪和创新预研,包括模型后门攻防、水印、越狱、安全可解释性等