蚂蚁金服蚂蚁技术研究院长期研究型实习生-编译器方向
实习兼职蚂蚁技术研究院长期研究型实习生项目地点：北京 | 上海 | 深圳状态：招聘
任职要求
职位要求：
1.有相关研究背景的博士生，特别优秀的硕士生亦可；
2.在编程语言、体系结构、软件工程、系统软件等相关领域有高质量论文（CCFA类学术会议或者期刊的论文）；
3.在编译技术领域具有显著成果，具有很强的研究和创新能力，跟踪领域内前沿的研究成果并能够将研究成果验证落地；
4.深入理解至少一种编译器架构，例如：GCC/LLV…登录查看完整任职要求
微信扫码，1秒登录
工作职责
职位描述： 1.面向异构计算、软件工程、安全隐私、绿色计算等方向，打造蚂蚁编译技术平台; 2.定义新的编译架构，打造新的编译生态，探索新的技术方向。
包括英文材料
GCC+
https://gcc.gnu.org/onlinedocs/gcc-15.2.0/gcc/
This file documents the use of the GNU compilers.
https://www.seas.upenn.edu/~ese5320/fall2022/handouts/_downloads/788d972ffe62083c2f1e3f86b7c03f5d/gccintro.pdf
The purpose of this book is to explain the use of the GNU C and C++ compilers, gcc and g++.
https://www3.ntu.edu.sg/home/ehchua/programming/cpp/gcc_make.html
The original GNU C Compiler (GCC) is developed by Richard Stallman, the founder of the GNU Project.
LLVM+
https://llvm.org/docs/GettingStarted.html
Welcome to the LLVM project!
https://llvm.org/docs/tutorial/
This is the “Kaleidoscope” Language tutorial, showing how to implement a simple language using LLVM components in C++.
https://mcyoung.xyz/2023/08/01/llvm-ir/
“LLVM” is an umbrella name for a number of software components that can be used to build compilers.
https://www.youtube.com/watch?v=Lvc8qx8ukOI
This is the first lecture from the "Programming Language with LLVM" course where we build a full programming language similar to JavaScript from scratch, using LLVM compiler infrastructure.
还有更多 •••
相关职位
实习蚂蚁技术研究院长
职位描述： 1.用形式化方法对程序语言的内存安全、功能安全性进行验证，特别是Rust语言方向； 2.用形式化方法对安全时序逻辑和功能、协议设计、算法设计的安全属性，进行验证； 3.用形式化方法对较简单的、小规模的AI系统的安全属性，进行验证； 4.探索形式化方法，发表高水平论文或专利，提升蚂蚁集团在该领域的业界影响力； 5.与国内外形式化验证领域的一流研究机构进行交流与合作。
北京|杭州
实习蚂蚁技术研究院长
参与大模型数据侧的前沿研究工作。你将与顶尖的研究团队合作，探索数据在大模型训练、优化和应用中的核心作用，推动大模型数据智能领域的创新。
北京|上海|杭州