中国科学院软件研究所计算机科学国家重点实验室招聘启事
http://www.360gongkao.com 2024-01-02 11:20:35 来源:中国科学院软件研究所
中国科学院软件研究所成立于1985年3月1日,是一所致力于计算机科学理论和软件高新技术的研究与发展的综合性基地型研究所(详情请查阅软件所网页http://www.iscas.ac.cn)。因工作需要,中国科学院软件研究所计算机科学国家重点实验室可信智能系统团队现公开招聘1名工作人员:
一、招聘岗位:副研究员 (1名)
职位描述:
1.负责RISC-V处理器Chisel设计形式化验证研究工作;
2.负责操作系统、编译器等基础软件形式化验证研究工作;
3.参与/负责项目的申请、需求、设计、开发和验收的全流程工作;
4.处理团队负责人分配的一些事务性工作等.
招聘条件:
1.博士学历,计算机相关专业;
2.具有不少于1个聘期的特别研究助理或博士后经历;
3.在形式化验证、编程语言、软件工程等相关方向有相关科研经历;
4.熟练掌握定理证明辅助工具比如Coq的使用;
5.在顶级学术会议和期刊发表过3篇以上高水平学术论文;
6.具有良好的团队协作精神和沟通能力,有责任心.
二、应聘材料的投递:
应聘者请将本人简历发送至:wuzl@ios.ac.cn,邮件名称为姓名+电话+应聘岗位名称。
三、面试:
研究所按招聘条件对申请者进行资格审查,并在收到材料的一个月内通知初审合格者前来试。资格审查未通过者,恕不另行通知。本招聘有效期至招到合适人员为止。
四、岗位待遇:
本岗位属岗位聘用,工资待遇按中国科学院软件研究所相关管理规定执行,优秀应聘者待遇从优。
声明:内容以官方为准,如有侵权请联系删除
相关信息
- 国家税务总局部分直属事业单位2024年度公开招聘面 ..05-07
- 中国农业大学动物科技学院羊绿色健康养殖团队科研 ..05-07
- 宣传科普中心(报社)关于公布2024年公开招聘事业编 ..05-07
- 中国科学院生态环境研究中心生态系统过程与服务研 ..05-07
- 清华大学环境学院张彭义教授课题组招聘行政助理05-07
- 北京大学电子学院招聘1名劳动合同制工作人员05-07
- 北京市气象局2024年补充公开招聘应届毕业生公告(5 ..04-29
- 北京理工大学党委教师工作部/人力资源部火炸药安全 ..04-29
- 【劳动合同制】北京林业大学信息化建设与管理办公 ..04-29
- 北京林业大学信息化建设与管理办公室2024年招聘启 ..04-29
- 中国农业科学院植物保护研究所农药环境风险评估及 ..04-29
- 北京教育科学研究院2024年公开招聘面试入围人员公 ..04-29
- 北京教育科学研究院2024年公开招聘笔试成绩公告 ..04-29
- 中国(教育部)留学服务中心2024年面向社会公开招聘 ..04-29
- 中国科学院文献情报中心知识系统部劳务派遣人员招 ..04-29
抓机会、刷题充电尽在360公考网.