职位详情

职位列表 链接有效 不适用(官网全量采集) official:alibaba:199908480016

AI芯片编程模型设计实现-阿里星

未披露 · 北京 / 成都 / 杭州 / 上海 · 阿里巴巴控股集团

主分类:AI训练推理与计算优化
软件开发与 IT
辅助:芯片设计与验证(仅展示)
来源 JD 数据(旧分类保留,当前主分类见上方)
{
    "schema_version": "via_ai_product_manager_jobs_v1",
    "data_type": "ai_product_manager_jobs",
    "job": {
        "job_title": "AI芯片编程模型设计实现-阿里星",
        "job_level": "校招",AI生成
        "work_category": "全职",AI生成
        "department": "阿里巴巴控股集团",
        "location": "北京 / 成都 / 杭州 / 上海",
        "work_mode": "未披露",AI生成
        "job_category": "技术类"AI生成
    },
    "company": {
        "company_name": "阿里巴巴控股集团",
        "company_industry": "电子商务 / 云计算 / 人工智能",
        "company_size": "未披露",
        "company_website": "alibaba.com",
        "company_description": "阿里巴巴集团面向消费者和企业提供电子商务、云计算及人工智能服务。"
    },
    "compensation": {
        "salary_range": {
            "min": "",
            "max": "",
            "currency": "未披露",
            "cycle": "未披露"
        },
        "benefits": "未披露"
    },
    "requirements": {
        "working_years": "",
        "degree": "硕士及以上学历(博士优先)",
        "language": "未披露",AI生成
        "visa_support": "未披露",
        "responsibilities": "我们正在为自研 AI 芯片打造全新的编程语言和编译器工具链。这不是一个简单的\"\"移植 LLVM 后端\"\"的工作——你需要从零开始思考:什么样的编程模型能让开发者高效地表达 AI 计算?什么样的类型系统能在编译期捕获更多的并行化机会?什么样的中间表示能同时服务于高层优化和底层代码生成?\n你将参与设计面向 AI 芯片的编程语言(DSL),开发编译器前端(Parser/Type Checker/IR Builder),构建中端优化框架(数据流分析、循环变换、自动并行化),以及实现后端代码生成(指令选择、寄存器分配、指令调度)。你的工作将定义开发者如何在自研芯片上编程,影响深远。\n• 设计并实现面向 AI 芯片的编程语言,包括语法设计、类型系统、语义定义、标准库设计\n• 开发编译器前端,包括词法/语法解析、语义分析、类型检查、中间表示生成\n• 构建编译器中端优化框架,包括但不限于:数据流分析、死代码消除、循环优化(Loop Fusion/Tiling/Unrolling)、内联、常量折叠、自动向量化\n• 实现编译器后端,包括指令选择、寄存器分配、指令调度、代码生成\n• 设计中间表示(IR),平衡表达能力和优化空间,支持多层 IR 渐进降级(Lowering)\n• 与硬件团队协作,参与指令集设计评审,确保编译器能充分利用硬件特性",
        "requirements_text": "• 计算机科学、软件工程或相关专业,硕士及以上学历(博士优先)\n• 深入理解编译原理,在编译器前端(Parsing/Type Checking)、中端(IR/Optimization)、后端(Code Generation/Register Allocation)中至少精通一个方向\n• 熟悉 LLVM、GCC 等主流编译器框架的架构和实现\n• 扎实的 C/C++ 编程能力,良好的数据结构和算法基础\n• 理解编程语言理论,熟悉异构计算编程模型\n• 对计算机体系结构有基本理解,了解指令集、流水线、存储层次等概念\n加分项\n• 有异构计算编程模型(CUDA/OpenCL/SYCL/OpenMP)的设计或实现经验\n• 参与过 LLVM、GCC、Rust、Clang 等主流编译器或编程语言项目的核心开发\n• 有 DSL(领域特定语言)设计经验,或设计过自己的编程语言\n• 有程序分析(静态分析/动态分析)、形式化验证(Formal Verification)相关经验\n• 在编程语言、编译器领域发表过顶级论文(PLDI/POPL/OOPSLA/CGO/CC/ICFP 等)",
        "skills": [AI生成
            "C++",
            "Rust",
            "CUDA",
            "数据结构",
            "C语言"
        ],
        "preferred_qualifications": "计算机科学、软件工程或相关专业,硕士及以上学历(博士优先);加分项",
        "job_highlights": "未披露"
    },
    "contact": {
        "recruiter_name": "未披露",
        "contact_methods": [
            {
                "type": "apply_link",
                "value": "https://campus-talent.alibaba.com/campus/position/199908480016?deptCodes="
            }
        ]
    },
    "posting": {
        "posting_id": "199908480016",
        "post_date": "2026-08-04",
        "hire_time": "未披露",
        "update_date": "20260917",
        "job_url": "https://campus-talent.alibaba.com/campus/position/199908480016?deptCodes="
    },
    "fulltext": "AI芯片编程模型设计实现-阿里星\nAI芯片编程模型设计实现-阿里星\n\n基础信息\n毕业起止时间要求:2026-11-01 - 2027-10-31\n职位类别:技术类\n招聘项目:阿里巴巴2027届应届生\n工作地点:北京 / 成都 / 杭州 / 上海\n\n职位描述\n我们正在为自研 AI 芯片打造全新的编程语言和编译器工具链。这不是一个简单的\"\"移植 LLVM 后端\"\"的工作——你需要从零开始思考:什么样的编程模型能让开发者高效地表达 AI 计算?什么样的类型系统能在编译期捕获更多的并行化机会?什么样的中间表示能同时服务于高层优化和底层代码生成?\n你将参与设计面向 AI 芯片的编程语言(DSL),开发编译器前端(Parser/Type Checker/IR Builder),构建中端优化框架(数据流分析、循环变换、自动并行化),以及实现后端代码生成(指令选择、寄存器分配、指令调度)。你的工作将定义开发者如何在自研芯片上编程,影响深远。\n• 设计并实现面向 AI 芯片的编程语言,包括语法设计、类型系统、语义定义、标准库设计\n• 开发编译器前端,包括词法/语法解析、语义分析、类型检查、中间表示生成\n• 构建编译器中端优化框架,包括但不限于:数据流分析、死代码消除、循环优化(Loop Fusion/Tiling/Unrolling)、内联、常量折叠、自动向量化\n• 实现编译器后端,包括指令选择、寄存器分配、指令调度、代码生成\n• 设计中间表示(IR),平衡表达能力和优化空间,支持多层 IR 渐进降级(Lowering)\n• 与硬件团队协作,参与指令集设计评审,确保编译器能充分利用硬件特性\n\n职位要求\n• 计算机科学、软件工程或相关专业,硕士及以上学历(博士优先)\n• 深入理解编译原理,在编译器前端(Parsing/Type Checking)、中端(IR/Optimization)、后端(Code Generation/Register Allocation)中至少精通一个方向\n• 熟悉 LLVM、GCC 等主流编译器框架的架构和实现\n• 扎实的 C/C++ 编程能力,良好的数据结构和算法基础\n• 理解编程语言理论,熟悉异构计算编程模型\n• 对计算机体系结构有基本理解,了解指令集、流水线、存储层次等概念\n加分项\n• 有异构计算编程模型(CUDA/OpenCL/SYCL/OpenMP)的设计或实现经验\n• 参与过 LLVM、GCC、Rust、Clang 等主流编译器或编程语言项目的核心开发\n• 有 DSL(领域特定语言)设计经验,或设计过自己的编程语言\n• 有程序分析(静态分析/动态分析)、形式化验证(Formal Verification)相关经验\n• 在编程语言、编译器领域发表过顶级论文(PLDI/POPL/OOPSLA/CGO/CC/ICFP 等)\n\n在招业务\n阿里巴巴控股集团\n我们正在为自研 AI 芯片打造全新的编程语言和编译器工具链。这不是一个简单的\"\"移植 LLVM 后端\"\"的工作——你需要从零开始思考:什么样的编程模型能让开发者高效地表达 AI 计算?什么样的类型系统能在编译期捕获更多的并行化机会?什么样的中间表示能同时服务于高层优化和底层代码生成?\n你将参与设计面向 AI 芯片的编程语言(DSL),开发编译器前端(Parser/Type Checker/IR Builder),构建中端优化框架(数据流分析、循环变换、自动并行化),以及实现后端代码生成(指令选择、寄存器分配、指令调度)。你的工作将定义开发者如何在自研芯片上编程,影响深远。\n• 设计并实现面向 AI 芯片的编程语言,包括语法设计、类型系统、语义定义、标准库设计\n• 开发编译器前端,包括词法/语法解析、语义分析、类型检查、中间表示生成\n• 构建编译器中端优化框架,包括但不限于:数据流分析、死代码消除、循环优化(Loop Fusion/Tiling/Unrolling)、内联、常量折叠、自动向量化\n• 实现编译器后端,包括指令选择、寄存器分配、指令调度、代码生成\n• 设计中间表示(IR),平衡表达能力和优化空间,支持多层 IR 渐进降级(Lowering)\n• 与硬件团队协作,参与指令集设计评审,确保编译器能充分利用硬件特性\n• 计算机科学、软件工程或相关专业,硕士及以上学历(博士优先)\n• 深入理解编译原理,在编译器前端(Parsing/Type Checking)、中端(IR/Optimization)、后端(Code Generation/Register Allocation)中至少精通一个方向\n• 熟悉 LLVM、GCC 等主流编译器框架的架构和实现\n• 扎实的 C/C++ 编程能力,良好的数据结构和算法基础\n• 理解编程语言理论,熟悉异构计算编程模型\n• 对计算机体系结构有基本理解,了解指令集、流水线、存储层次等概念\n加分项\n• 有异构计算编程模型(CUDA/OpenCL/SYCL/OpenMP)的设计或实现经验\n• 参与过 LLVM、GCC、Rust、Clang 等主流编译器或编程语言项目的核心开发\n• 有 DSL(领域特定语言)设计经验,或设计过自己的编程语言\n• 有程序分析(静态分析/动态分析)、形式化验证(Formal Verification)相关经验\n• 在编程语言、编译器领域发表过顶级论文(PLDI/POPL/OOPSLA/CGO/CC/ICFP 等)",
    "standard_classification": {
        "std_category_code": "T014",
        "std_aux_codes": [
            "T024"
        ],
        "std_category_status": null,
        "std_taxonomy_version": "20261104"
    }
}