当前位置: 硕博英才网 > 科研院所招聘 > 北京 >

中国科学院软件研究所计算机科学国家重点实验室2019年5月招聘软件开发工程师启事

发布时间:2019-05-08 15:43信息来源:中国科学院软件研究所

中科院软件所成立于1985年3月1日,是一所致力于计算机科学理论和软件高新技术的研究与发展的综合性基地型研究所(详情请查阅软件所网页http://www.iscas.ac.cn)。因工作需要,中科院软件所计算机科学国家重点实验室,现公开招聘1名工作人员:

岗位名称:软件开发工程师1人

工作职责:

主要参与中科院和国家自然科学基金项目。研究方向包括:

1.基于高阶逻辑的形式化数学。

2.形式化数学的自动化。

3.形式化数学在工程里的应用。

招聘条件:

1.熟悉Isabelle,Coq,HOL-Light或类似交互式定理证明器的使用。

2.在形式化数学方面具备一定实践基础。

3.博士学历。

应聘材料的投递:

应聘者请将本人简历发送至:bzhan@ios.ac.cn,邮件名称为“姓名+应聘岗位+硕博英才网”。

面试:

研究所按招聘条件对申请者进行资格审查,并在收到材料的一个月内通知初审合格者前来面试。资格审查未通过者,恕不另行通知。本招聘有效期至招到合适人员为止。

待遇:

以上岗位属项目聘用,工资待遇按工作业绩以及中科院软件所相关管理规定执行,优秀应聘者待遇从优。

原文出处:

http://www.is.cas.cn/rcdw2016/rczp2016/201905/t20190506_5289349.html

声明:凡本网注明“来源:XXX”的文/图等稿件,本网转载出于传递更多信息及方便产业探讨之目的,并不意味着本站赞同其观点或证实其内容的真实性,文章内容仅供参考。如其他媒体、网站或个人从本网站转载使用,须保留本网站注明的“来源”,并自负版权等法律责任。作者如果不希望被转载或者联系转载等事宜,请与我们联系。邮箱:shuobojob@126.com。

微信公众号

关注硕博英才网官方微信公众号

硕博社群

更多社群>