中国科学院软件研究所计算机科学国家重点实验室招聘启事
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,邮件名称为姓名+电话+应聘岗位名称。
三、面试:
研究所按招聘条件对申请者进行资格审查,并在收到材料的一个月内通知初审合格者前来试。资格审查未通过者,恕不另行通知。本招聘有效期至招到合适人员为止。
四、岗位待遇:
本岗位属岗位聘用,工资待遇按中国科学院软件研究所相关管理规定执行,优秀应聘者待遇从优。
声明:内容以官方为准,如有侵权请联系删除
相关信息
- 中国科学院软件研究所计算机科学国家重点实验室招 ..01-02
- 中国科学院软件研究所财务资产处招聘启事01-02
- 北京市测绘设计研究院面向应届毕业生公开招聘公告01-01
- 中国农业大学农学院曾昭海课题组科研助理招聘启事12-30
- 自然资源部国土卫星遥感应用中心2023年公开招聘劳 ..12-29
- 孙佳姝课题组招聘启事12-29
- 北京中国科学院软件研究所可信计算与信息保障实验 ..12-29
- 中国科学院植物研究所植物多样性与特色经济作物重 ..12-28
- 北京语言大学关于组织学生参加2024年阿拉伯语考试 ..12-28
- 国家空间科学中心复杂航天系统电子信息技术重点实 ..12-28
- 自然资源实物地质资料中心2024年度公开招聘面试公 ..12-28
- 中国生理学会招聘公告12-28
- 北京大学工学院陈帜课题组招聘科研助理12-28
- 北京市农林科学院2024年公开招聘工作人员公告12-28
- 中国农业科学院研究生院招聘编外劳务派遣人员公告12-28
抓机会、刷题充电尽在360公考网.