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