软件所基础软件验证研究室科研实习生招聘启事（ 硬件验证）
· 3 min read
(2025年12月29日更新) 因工作需要，中国科学院软件研究所基础软件与系统重点实验室-基础软件验证研究室招聘硬件验证实习生若干名，详情如下：
岗位名称： 硬件验证科研实习生
岗位相关工作内容(包括但不限于):
1、跟踪调研最新的硬件设计(基于SystemVerilog、Chisel等硬件语言)测试、仿真与验证最新技术动态；
2、对RISC-V处理器设计的指令集一致性进行测试、仿真与验证；
3、设计基于大语言模型的硬件设计的自动验证工具；
4、撰写技术报告、项目文档等。
任职要求：
1、计算机科学与技术、电子信息科学与技术等专业，全日制本科在读学历，能够实习三个月及以上;
2、熟悉计算机体系结构相关背景知识；
3、有处理器设计的测试、仿真与验证相关经验；
4、熟悉RISC-V指令集优先；
5、熟悉硬件构造语言Chisel，有硬件开发经验（例如参与“一生一芯”计划、参加过龙芯杯比赛、设计并自行实现复杂硬件设计）者优先;
6、有形式化方法背景者优先；
7、有大语言模型开发相关经验优先；
8、有良好的合作沟通能力，有较强的团队意识，执行力强。
应聘材料投递与咨询：
实习生招聘长期有效，欢迎感兴趣的同学留言联系，可发送邮件提前咨询：shensd###ios**ac**cn；
应聘者请将本人简历发 送至：shensd###ios**ac**cn，邮件名称为“姓名+硬件验证实习生申请”。
- ###改为@，**改为.
待遇：
除基础工资外，实习生将根据个人表现和项目难度发放高额津贴，待遇从优。
备注：
实习内容均为科研项目，表现优异者有机会发表学术论文！
支持线上实习，线下优先，解决住宿问题。
如果你对操作系统，数理逻辑，软件验证感兴趣，研究室也正在招收Coq操作系统验证实习生，欢迎关注：here。