Job Contents

香港科技大学（广州）

岗位投递

• 邮箱：opensource-talents@bosc.ac.cn（请以“【港科大】+姓名”的格式命名简历）。

岗位列表

01 处理器形式化验证方向研究生（微电子学域张弘策老师）

岗位职责

• 从事处理器形式化验证方向的研究工作。

岗位要求

• 能够熟练使用Chisel者优先。
• 2024年秋季入学博士研究生。

招聘人数

• 1人。

工作地点

• 广州。

中科院软件所

团队介绍

蔡少伟老师和李勇坚老师团队的研究方向是约束求解与EDA算法，发表论文100多篇，其中A类论文50+篇，包括CAV、ICSE、Artificial Intelligence、ACM Transactions on Computational Logic、AAAI、IJCAI、SAT等，获得过SAT/SMT/MaxSAT比赛的冠军和EDA比赛的亚军。近期工作成果与影响包括：

• 逻辑约束求解器：国际比赛长期获奖，国际会议最佳论文奖。
• 整数规划求解器：刷新标准榜单的6个open问题求解记录。
• 逻辑综合/模型检测/等价性验证工具，在企业实际需求优于最先进开源工具。

团队近两年主持的科研项目包括：

• “面向RISCV的先进EDA技术”，中科院战略先导A专项课题，2022-2025。
• “约束求解及其应用”，中科院软件所重大重点项目，2022-2024。
• “可满足性问题求解”，国家自然科学基金优秀青年科学基金项目, 2022-2024。
• “布尔可满足性问题的并行算法研究”，CCF-华为胡杨林基金A类项目，2022-2023。
• “端到端合约广告最优分配机制的研究”，阿里巴巴研究项目，2022-2023。
• “总装调度约束求解算法设计工具开发”，中国航空制造技术研究院，2022-2023。

岗位投递

• 邮箱：opensource-talents@bosc.ac.cn（请以“【中科大】+姓名”的格式命名简历）。

岗位列表

01 约束求解与EDA算法研究生（蔡少伟老师和李勇坚老师团队）

岗位职责

• 从事约束求解与EDA算法方面的研究。

岗位要求

• 具有硬件设计经验。
• 对形式化验证感兴趣。

招聘人数

• 3人（1名软件所学硕、2名专硕软件所和杭高院各一个。其中专硕计划用于上述先导项目《面向RISCV的先进EDA技术》的香山处理器微架构模块的验证，与开芯院合作紧密，每周与开芯院固定交流）。

工作地点

• 北京、杭州。

Beijing Institute of Open Source Chip

企业介绍

近年来，RISC-V快速发展，已经成为当前国际科技竞争的焦点。为提升我国集成电路设计水平，建设与国际开源社区对接的技术平台，北京市和中科院高度重视RISC-V发展，组织国内一批行业龙头企业和顶尖科研单位于2021年12月6日发起成立北京开源芯片研究院。研究院以开源开放凝聚产业发展共识，以协同创新激发应用牵引潜力，着力推进RISC-V创新链和产业链的加速融合，加速科技创新成果产业化落地，加快打造全球领先的RISC-V产业生态。

招聘优势	具体内容
基础保障	五险一金、带薪年假、带薪病假、定期体检
技能提升	岗位培训、专家讲座、开芯沙龙、行业交流
福利待遇	加班补助、节日福利、生日福利、团建活动
能量补充	工作午餐、各种零食
人文关怀	免费工装、团队周边

岗位投递

• 邮箱：opensource-talents@bosc.ac.cn （请以”【开芯院】+应聘岗位+姓名“的格式命名简历）。
• 电话：010-62685701/5702。
• 地址：北京市海淀区草桥七号院。

共性要求

• 工作地点：北京开源芯片研究院
• 投递要求：2024-2025届/计算机与电子信息及相关专业/硕士及以上学历（优秀者可放宽至本科）。计算机体系结构和微电子等专业以及对RISC-V有所了解的同学、参与过“一生一芯”计划的同学优先；每周到岗3天及以上，可连续实习6个月及以上。

福利待遇

• 薪资：具体薪资面议。
• 待遇：七险一金、带薪年假、带薪病假 定期体检；岗位培训、专家讲座、开芯沙龙、行业交流；
  加班补助、节日福利、生日福利、团建活动等。

岗位列表

01 CPU前端设计验证实习生/工程师

岗位职责

• 使用Chisel/Verilog语言进行CPU的开发。
• 负责使用前沿领域技术对模块级进行设计和性能分析。
• 协助验证工程师进行系统级仿真验证、覆盖率分析、FPGA验证、芯片调试。
• 参与芯片架构设计和Spec定义。
• 负责设计文档的撰写。

岗位要求

• 理工科学生，研究院提供CPU设计/验证以及前后端协同开发等相关知识的培训。
• 具有积极主动的工作态度，具备较强的学习能力，良好的分析能力、解决问题能力、沟通能力和团队协作能力。
• 熟悉CPU微体系结构者优先。
• 熟悉Chisel、Scala、Java、Verilog、SystemVerilog或UVM者优先。

招聘人数

• 5人。

备注信息

• 参与过“一生一芯”计划者优先。实习期至少六个月。

02 CPU物理设计实习生/工程师

岗位职责

• 完成先进工艺下（7nm/5nm）高性能RISC-V处理器核的物理设计。
• 负责完成从数字网表到GDS的相关数字后端工作，并参与版图规划。
• 完成布局布线，低功耗设计，EM及电压降分析。
• 完成静态时序分析，功耗分析，信号完整性分析。
• 完成物理验证，如DRC、ERC、LVS等。
• 协同前端人员完成STA、功耗分析、SI分析，并优化时序、功耗、面积。
• 负责设计文档的撰写。

岗位要求

• 硕士及以上学历。
• 具备良好的半导体器件、电路、信号处理等专业知识储备。
• 熟悉使用后端EDA工具软件（如Innovus、Synopsys Design Compiler、IC Compiler等），熟悉后端设计流程。
• 熟悉UNIX、LINUX操作系统，熟悉Shell、Tcl、Perl等编程语言。
• 有高性能处理器核物理设计经验者优先。
• 有动态电路、CAM和多端口RAM设计经验者优先。
• 有ARM A76级别以上处理器核物理设计经验者优先。
• 具备较好的沟通、学习能力，具有团队合作精神。

招聘人数

• 5人。

备注信息

• 无。

03 IC前端设计验证实习生/工程师

岗位职责

• 参与制定SoC芯片规格，根据总体设计要求进行模块详细设计。
• 根据模块规格要求，与软件确定软硬件划分，完成数字电路模块详细设计。负责所设计模块基本功能验证。
• 参与高性能RISC-V处理器核、DDR、PCIe、GPU、媒体编解码、GMAC等关键IP核的开发工作。
• 负责前端设计工作，包括电路综合、时序检查、形式验证等。
• 负责对模块集成、验证、测试和调试。
• 承担所做工作的流程规范建设。

岗位要求

• 硕士及以上学历。
• 具备良好的计算机体系结构等专业知识储备，熟悉处理器架构。
• 熟练掌握Verilog语言，可编写Testbench进行模块及系统级验证。
• 熟悉Chisel，或具备Chisel开发经验者更佳。
• 熟悉UNIX、LINUX操作系统，熟悉Shell、Tcl、Perl等编程语言。
• 具备较好的沟通、学习能力，具有团队合作精神。

招聘人数

• 5人。

备注信息

• 无。

04 IC物理设计实习生/工程师

岗位职责

• 负责完成从数字网表到GDS的相关数字后端工作，并参与版图规划。
• 完成布局布线，低功耗设计，EM及电压降分析。
• 完成静态时序分析，功耗分析，信号完整性分析。
• 完成物理验证，如DRC、ERC、LVS等。
• 协同前端人员完成STA、功耗分析、SI分析，并优化时序、功耗、面积。
• 负责设计文档的撰写。

岗位要求

• 理工科学生：提供IC设计/验证以及前后端协同开发等知识的培训。
• 具有积极主动的工作态度，具备较强的学习能力，良好的分析能力、解决问题能力、沟通能力和团队协作能力。
• 熟悉CPU微体系结构者优先。
• 熟悉Chisel、Scala、Java、Verilog、SystemVerilog或UVM者优先。

招聘人数

• 5人。

备注信息

• 参与过“一生一芯”计划者优先。
• 实习期至少六个月。

05 DDR控制器设计实习生/工程师

岗位职责

• 确定DDR子系统的关键指标。
• 项目初期，评估DDR子系统的性能，参与芯片总线架构设计与实现。
• 负责DDR子系统的相关设计和集成工作。
• 撰写DDR4等控制器的微架构/设计文档，开发RTL代码，支持验证工作。
• 指导和协助DDR的物理实现，支持DDR在FPGA系统的调试。
• 负责芯片回片之后的相关调试。

岗位要求

• 深入了解DDR/AXI/DFI/APB/AHB等协议，理解DDR发展趋势。
• 熟悉DDR的硬件结构、实现和验证。
• 至少掌握System Verilog、Verilog和Chisel一种语言。
• 熟悉芯片设计流程，熟悉综合、时序分析、低功耗、形式验证和异步时钟检查。
• 良好的英文阅读能力。
• 积极进取，愿意接受挑战。

招聘人数

• 2人。

备注信息

• 有DDR子系统的研发、回片调试和成功量产的经验着优先。
• 实习生可以放宽条件。

06 编译器设计实习生/工程师

岗位职责

• 参与编译器相关软件的设计和实现。
• 分析和开发基准测试和测试应用程序。
• 设计文档、测试文档及其他相关文档的编写和维护技能和经验。

岗位要求

• 计算机科学、自动化、电子与信息、数学等理工类相关专业本科及以上学历。
• 具有较强的责任心和学习能力，工作态度积极，敢于迎接挑战。
• 具有C/C++编程经验，有一定算法和数据结构基础。
• 了解计算机体系结构、操作系统和编译优化。
• 了解开发、测试、交付和维护生产质量的软件。
• 拥有开源软件开发经验、为开源项目做过贡献以及与开源社区有合作经验者优先。

招聘人数

• 2人。

备注信息

• 无。

07 C++开发实习生/工程师

岗位职责
给香山开源处理器搭建性能模拟器、进行设计空间探索。工作内容包括并不限于以下：

• 参与高性能RISC-V CPU架构研发。
• 参与性能分析与调优。
• 与RTL开发工程师协调架构的具体实现、性能对齐。
• 负责设计文档的撰写。

岗位要求

• 计算机科学与技术等相关专业本科及以上学历，计算机组成原理、操作系统、体系结构等课程基础扎实。
• 熟练运用C++，Debug能力优秀。
• 能熟练使用搜索引擎、技术文档，从StackOverflow、Mailing list、社区Issue里面寻找解决问题的方法。
• 能够熟练的阅读英文论文。
• 具有良好的团队合作意识，较强的沟通能力，以及敬业和钻研精神。

招聘人数

• 2人。

备注信息

满足基本条件时，具备以下能力将优先录取：

• 有操作系统、编译器或CPU模拟器开发经验（比如完成MIT-828、改Linux kernel、完成Toy级编译器、基于LLVM/Clang做项目、修改GEM5、修改QEMU）。
• 有性能调优的经验：比如程序热点分析、系统瓶颈分析。
• 有给流行的开源项目贡献代码的经验。
• 没有CPU体系结构探索方面的经验也没关系，我们有丰富的CPU模拟器开发经验和体系结构探索经验，有专门的培训流程帮助非体系结构背景的候选人掌握相关知识。

上海合见工业软件集团有限公司

企业介绍

上海合见工业软件集团有限公司（简称“合见工软”）作为自主创新的高性能工业软件及解决方案提供商，以EDA（电子设计自动化，Electronic Design Automation）领域为首先突破方向，致力于帮助半导体芯片企业解决在创新与发展过程中所面临的严峻挑战和关键问题，并成为他们值得信赖的合作伙伴。

岗位投递

• 邮箱：opensource-talents@bosc.ac.cn（请以“【合见】+应聘岗位+姓名”的格式命名简历）。

福利待遇

• 实习生待遇：300左右/天，具体薪资根据不同的入职城市浮动。
• 转正待遇：优秀的应届实习生可转正，年薪35w左右。

岗位列表

01 RISC-V处理器模型实习生/工程师

岗位职责

• 负责公司虚拟原型产品RISC-V处理器模型（指令集精确）的开发，测试，及相关工具链适配工作。
• 具体工作方向根据实习生个人情况再进行细分。

岗位要求

• 学历要求：硕士及以上。
• 熟悉RISC-V指令集及主流RISC-V 处理器IP架构。
• 熟悉指令集仿真器及实现。
• 熟悉RISC-V相关工具链及应用。
• 熟悉处理器功能模型建模经验优先。

工作地点

• 上海、杭州。

中国电信研究院云计算技术研究中心

企业介绍

“云计算”作为新一代信息技术被国家“十二五”规划列入重点扶植的战略新兴产业，中国电信对此十分重视，制定了“业务驱动、积极稳妥、内外并举、降本增效”的总体云计算发展策略并据此成立了“中国电信云计算研究中心”。中国电信云计算研究中心全面负责中国电信云计算发展战略和市场态势研究工作，负责中国电信云计算前瞻技术跟踪研究、设备验证定制、技术规范制定、产品研发以及有关试点和现场试验的技术研究和支撑工作。

岗位投递

• 邮箱：opensource-talents@bosc.ac.cn（请以“【电信】+岗位+姓名”的格式命名简历）。

福利待遇

• 实习生待遇：实习月薪3500元左右，无住宿；支持线上。
• 转正待遇：面议。

岗位列表

01 开源处理器实习生/工程师

岗位职责

• 参与香山处理器开源项目的开发工作，与团队成员紧密合作，参与技术讨论和评审，提供技术支持和解决方案。
• 参与对RISC-V处理器的性能评测。
• 参与香山处理器的相关文档编写和维护。
• 参与输出RISC-V知识产权（专利、论文）。
• 参与RISC-V开源社区的活动。

岗位要求

• 硕士或博士学位，计算机、电子专业或相关领域优先考虑。
• 参与过香山处理器开源项目或一生一芯项目的优先。
• 熟悉RISC-V架构和指令集，有相关的研究或项目经验者优先。
• 熟悉开源开发流程和工具，有开源项目的贡献经验者优先。

工作地点

• 北京

啄木鸟半导体科技（浙江）有限公司

企业介绍

公司希望彻底改变基于斯坦福大学颠覆性研究的半导体验证和确认。 我们得到了国际顶级风险投资的支持，并在中国和台湾拥有一级设计公司客户。您将负责开发、验证、产品化、和维护啄木鸟独有，用于产生硬件测试软件的编译器(基于 LLVM 和 GCC)。这是一个可以精英团队的好机会，并能够在一个具有挑战性的领域学习，贡献和创新。 个人还将与客户合作，将产品集成到他们的验证流程中。

岗位投递

• 邮箱：opensource-talents@bosc.ac.cn（请以“【啄木鸟】+岗位+姓名”的格式命名简历）。

福利待遇

五险一金，超多福利，具体薪资面议。

岗位列表

01 资深编译器开发工程师

岗位职责

• 修改LLVM或GCC以开发啄木鸟独有的编译器。
• 撰写和维护测试计划，建立不同指令集架构的编译器测试环境，如RISC-V，ARM等，为验证解决方案发明新功能或技术。

岗位要求

• 具有电机/电子/计算机的本科，硕士，博士学位。
• 工程师：年资4+（本科）， 年资3+（硕士，博士）具软件开发和验证相关经验。
• 具深度的编译器知识，具有LLVM或GCC环境的软件开发经验。
• 精通Linux环境及至少一种可用于建立回归测试的脚本语言（如Python、Perl、Tcl）。
• 具有软件验证工具和方法的经验。
• 熟悉指令集架构（如RSIC-V、ARM、x86），熟悉版本控制方法/系统，如Perforce或GIT。
• 加分项：拥有post-SI验证和调试经验。
• 熟悉使用云计算平台，如AWS或GCP。

招聘人数

• 3人。

工作地点

• 北京、杭州。

02 CAD开发工程师

岗位职责

• pre-SI和post-SI完整周期验证EDA工具开发。
• 物件导向开发和敏捷开发，与团队和客户合作开发。

岗位要求

• 具有电机/电子/计算机的硕士，博士学位。
• 工程师：年资3+（硕士、博士）具EDA工具开发相关经验。
• 精通演算法和数据结构、精通C/C++ 语言、精通RTL設計语言（如Verilog）。
• 具有和EDA工具厂商合作的经验（如Cadence、Synopsys、Mentor）。
• 熟悉Linux环境及至少一种脚本语言（如 Python、Perl、Tcl）。
• 熟悉版本控制方法/系统，如Perforce或GIT。
• 理想候选人应具备：有数字电路合成的经验，尤其是有使用Synopsys Design Compiler或Cadence Genus工具的经验；使用VC Formal或Cadence Jasper的经验；System Verilog、Verilog或VHDL的经验。

招聘人数

• 3人。

工作地点

• 北京、杭州。

03 RTL设计和验证工程师

岗位职责

• 为我们的验证解决方案创新新的功能和技术。
• 编写规范文档并对其进行维护。
• 与验证工程师合作 制定测试计划。
• 编写RTL和PSL或SVA代码。
• 确保逻辑设计符合架构规范。
• 设置RTL设计环境、工具、方法和基础结构。
• 验证覆盖率和调试失败率。
• 通过目标设计的微架构功能来扩展我们的IP的功能列表。

岗位要求

• 具有电机/电子/计算机的本科，硕士，博士学位。
• 熟悉计算机体系结构和先进的CPU知识。
• 在参数化和可配置的Verilog/SystemVerilog编码方面拥有丰富的经验。
• 良好的沟通，人际交往和团队合作；强烈希望学习创业环境中所需的各种技能；能够与内部和外部团队/客户有效合作。

招聘人数

• 3人。

工作地点

• 北京、杭州。

北京微核芯科技有限公司

企业介绍

北京微核芯科技有限公司（以下简称“公司”）成立于2020年4月，主要从事RISC-V开源高性能通用CPU芯片的研发和销售，愿景是成为开源处理器的产业领导者。公司在设计销售RISC-V开源高性能通用CPU芯片的同时，通过开源高性能处理器平台，引导企业用户参与到处理器的定义、设计和优化中，深入挖掘行业的潜在需求，形成产业合力，与用户共建RISC-V高性能处理器领域的生态。

岗位投递

• opensource-talents@bosc.ac.cn（请以“【微核芯】+岗位+姓名”的格式命名简历）。

福利待遇

• 实习生待遇：200元-250元/天。
• 工程师待遇：20K-40K/月，具体面议。

岗位列表

01 CPU前端设计/验证实习生

岗位职责

• 使用chisel/verilog语言进行CPU的开发。
• 负责使用前沿领域技术对模块级进行设计和性能分析。
• 协助验证工程师进行系统级仿真验证、覆盖率分析、FPGA验证、芯片调试。
• 参与芯片架构设计和spec定义。
• 负责设计文档的撰写。

岗位要求

• 理工科学生，公司提供CPU设计/验证以及前后端协同开发等相关知识的培训。
• 具有积极主动的工作态度，具备较强的学习能力，良好的分析能力、解决问题能力、沟通能力和团队协作能力。
• 有志于在先进工艺下为高性能开源RISC-V处理器核的发展贡献一份力，以推动RISC-V生态的发展。
• 熟悉CPU微体系结构者优先。
• 熟悉Chisel、Scala、Java、Verilog、SystemVerilog或UVM者优先。

招聘人数

• 2人。

工作地点

• 北京。

02 CPU前端研发工程师

岗位职责

• 负责处理器微架构的模块设计和代码编写。
• 负责模块级的功能验证和性能分析。
• 协助验证工程师进行系统级仿真验证、覆盖率分析、FPGA验证、芯片调试。
• 参与芯片架构设计和spec定义。
• 负责设计文档的撰写。

岗位要求

• 硕士及以上学历。
• 具有数字设计相关经验、熟练使用Verilog HDL或Chisel语言，熟悉常用的EDA工具。
• 熟悉数字电路设计流程，能独立完成IP或模块的设计。
• 熟悉CPU微体系结构。
• 具有数字芯片开发和成功流片量产经验优先。
• 有RISC-V开发经验、或内存控制器开发经验优先。
• 具有积极主动的工作态度，具备较强的学习能力，良好的分析能力、解决问题能力、沟通能力和团队协作能力。

招聘人数

• 2人。

工作地点

• 北京。

03 IC验证工程师

岗位职责

• 根据芯片设计规范完成验证方案的制定，搭建模块级和系统级验证环境，进行覆盖率分析，根据分析结果提高验证覆盖率。
• 负责UVM验证平台搭建，测试向量以及仿真模型的设计。
• 制定并执行验证计划，编写验证用励，与设计工程师共同完成问题的调试。
• 负责芯片SOC集成验证以及IP模块验证。

岗位要求

• 硕士及以上学历。
• 熟练使用Verilog HDL语言。
• 熟悉Perl、Shell等脚本。
• 熟悉处理器架构及验证方法学。
• 熟悉常用仿真EDA软件。
• 具有较强的学习能力，良好的沟通能力和团队协作能力。

招聘人数

• 2人。

工作地点

• 北京。

云豹智能有限公司（截止到2024年2月16日）

企业介绍

云豹智能有限公司招聘信息是一家专注于云计算和数据中心数据处理器芯片（DPU）和解决方案的领先半导体公司。由原RMI公司 (后被Netlogic / Broadcom收购) co-founder Sunny Siu 萧启阳博士联合业界精英创立。核心团队来自Broadcom、Intel、Arm、华为海思、阿里巴巴等，拥有中国最有经验的DPU芯片和软件研发团队。旨在成为引领数据中心和云计算最前沿技术，并建立“软件定义芯片”行业标准的高科技公司。

岗位信息

• 【岗位名称】：多核处理器SOC研发实习生。
• 【招聘人数及工作地点】：4人（北京2人、上海2人）。
  • 北京办公地点：北京市海淀区上地创业路6号自主创新大厦4002室。
  • 上海办公地点：上海市张江高科技园区碧波路690号7幢3楼307室。
• 【薪资待遇】：275-450/天。
• 【工作地点】：北京市海淀区上地创业路6号自主创新大厦4002室。

岗位职责 & 岗位要求

• 【岗位职责】：
  • 根据要求调研各种SoC架构，搜索相关CPU技术，操作系统实现，虚拟化应用，并做出总结和分享。
  • 跟踪处理器芯片技术的最新发展，积极学习和研究相关领域的前沿技术。
  • 负责芯片与Linux内核的交互设计和优化，确保芯片和操作系统的协同工作。
  • 跟踪Linux技术发展和行业动态，研究新的技术趋势和创新方向，为芯片研发提供技术支持和建议。
• 【岗位要求】：
  • 不限院校，985硕博享一定优先，计算机科学、电子工程或相关专业优先，熟悉计算机体系结构和数字电路设计，对处理器和Linux操作系统有深入理解。
  • 实习期至少为6个月，每周至少工作3天。
  • 对CPU架构，Linux内核和系统调用有较好的理解和研究兴趣。
  • 对CPU和IO虚拟化领域有一定了解。
  • 熟悉Linux操作系统的原理，具备相关实习或项目经验者优先。
  • 熟悉C/C++编程语言，具备良好的编码和调试能力。
  • 具备较强的学习能力和自我驱动力，能够快速掌握新技术和工具。

快来加入我们吧

作为云豹芯片研发部门实习生，参与公司高性能数据中心SoC芯片的架构定义，芯片研发和软硬件接口讨论等。您将有机会参与高性能多核处理器SoC芯片的开发和优化，与团队一起设计大型SoC架构，并参与架构定义和性能调优。您将与资深工程师紧密合作，学习和应用最新的技术和工具，为国内下一代高性能处理器芯片的开发做出贡献。

• 岗位投递方式：
  • kevin（同微信）：18588437780。
  • 邮箱：quwen.chen@jaguarmicro.com。