AI编译器与编程语言-阿里星
更新于 2026-06-22
北京 / 成都 / 杭州 / 上海
分享职位
加入意向单
可投递多个业务集团/公司，不同业务集团/公司的应聘流程可并行；每个业务集团/公司只有1次投递机会，且最多可选择 2 个意向投递（含阿里星职位），按照意向顺序流转。
基础信息
毕业起止时间要求2026-11-01 - 2027-10-01
职位类别技术类
招聘项目阿里星2027届应届生
职位描述
我们正在为自研 AI 芯片打造全新的编程语言和编译器工具链。这不是一个简单的”移植 LLVM 后端”的工作——你需要从零开始思考：什么样的编程模型能让开发者高效地表达 AI 计算？什么样的类型系统能在编译期捕获更多的并行化机会？什么样的中间表示能同时服务于高层优化和底层代码生成？
你将参与设计面向 AI 芯片的编程语言（DSL），开发编译器前端（Parser/Type Checker/IR Builder），构建中端优化框架（数据流分析、循环变换、自动并行化），以及实现后端代码生成（指令选择、寄存器分配、指令调度）。你的工作将定义开发者如何在自研芯片上编程，影响深远。
岗位职责
• 设计并实现面向 AI 芯片的编程语言，包括语法设计、类型系统、语义定义、标准库设计
• 开发编译器前端，包括词法/语法解析、语义分析、类型检查、中间表示生成
• 构建编译器中端优化框架，包括但不限于：数据流分析、死代码消除、循环优化（Loop Fusion/Tiling/Unrolling）、内联、常量折叠、自动向量化
• 实现编译器后端，包括指令选择、寄存器分配、指令调度、代码生成
• 设计中间表示（IR），平衡表达能力和优化空间，支持多层 IR 渐进降级（Lowering）
• 发语言工具链，包括 LSP（Language Server Protocol）、调试器、静态分析工具、代码格式化工具
• 与硬件团队协作，参与指令集设计评审，确保编译器能充分利用硬件特性
职位要求
• 计算机科学、软件工程或相关专业，硕士及以上学历（博士优先）
• 熟悉 LLVM、GCC 等主流编译器框架的架构和实现
• 扎实的 C/C++ 编程能力，良好的数据结构和算法基础
• 理解编程语言理论，包括类型系统、程序分析、形式语义等至少一个方向
• 对计算机体系结构有基本理解，了解指令集、流水线、存储层次等概念
加分项
• 在编程语言、编译器领域发表过顶级论文（PLDI/POPL/OOPSLA/CGO/CC/ICFP 等）
• 参与过 LLVM、GCC、Rust、Clang 等主流编译器或编程语言项目的核心开发
• 有 DSL（领域特定语言）设计经验，或设计过自己的编程语言
• 熟悉 JIT 编译、AOT 编译、增量编译等不同编译模式
• 有程序分析（静态分析/动态分析）、形式化验证（Formal Verification）相关经验
• 有异构计算编程模型（CUDA/OpenCL/SYCL/OpenMP）的设计或实现经验
在招业务
阿里巴巴控股集团
1
可投递多个业务集团/公司，不同业务集团/公司的应聘流程可并行；每个业务集团/公司只有1次投递机会，且最多可选择 2 个意向投递（含阿里星职位），按照意向顺序流转。
已选意向（0）
AI编译器与编程语言-阿里星
达摩院
北京/成都/杭州/上海
开始投递
取消
选择业务集团/公司，下面会出现对应的业务部门哟
下一步
点击可以滑动按钮