职位库
硬件验证助理研究员
2
招考人数
基本信息
招录人数
2
职业代码
报考单位
中国科学院软件研究所
部门代码
职位信息
序号
1
岗位
硬件验证助理研究员
招聘人数
2
岗位职责
1.从事RISC-V开源处理器设计验证研究工作 2.撰写发表论文 3.承担与申请相关纵向和横向项目
报考条件
学历
博士
专业
计算机科学与技术、软件工程
应聘条件
1.在国际高水平会议/期刊发表论文 2.具有体系结构相关知识 3.熟悉模型检测、定理证明等形式化验证技术与工具 4.具有不少于1个聘期的特别研究助理或博士后经历