职位库
首页
课程
题库
关于粉笔
下载客户端
投资者关系
项目推介
登录
中国科学院软件研究所校园招聘65人启事
职位表信息检索库
首页
教师
中国科学院软件研究所校园招聘65人启事
中国科学院软件研究所职位表
硬件验证助理研究员
硬件验证助理研究员
2
招考人数
基本信息
招录人数
2
职业代码
报考单位
中国科学院软件研究所
部门代码
职位信息
序号
1
岗位
硬件验证助理研究员
招聘人数
2
岗位职责
1. 从事RISC-V开源处理器设计验证研究工作 2. 撰写发表论文 3. 承担与申请相关纵向和横向项目
报考条件
学历
博士
特殊要求
专业
计算机科学与技术、软件工程
应聘条件
1. 在国际高水平会议/期刊发表论文 2. 具有体系结构相关知识 3. 熟悉模型检测、定理证明等形式化验证技术与工具