岗位名称:软件开发工程师1人
工作职责:
主要参与中科院和国家自然科学基金项目。研究方向包括:
1.基于高阶逻辑的形式化数学。
2.形式化数学的自动化。
3.形式化数学在工程里的应用。
招聘条件:
1.熟悉Isabelle,Coq,HOL-Light或类似交互式定理证明器的使用。
2.在形式化数学方面具备一定实践基础。
3.博士学历。
应聘材料的投递:
应聘者请将本人简历发送至:bzhan@ios.ac.cn,邮件名称为“姓名+应聘岗位 ”。
面试:
研究所按招聘条件对申请者进行资格审查,并在收到材料的一个月内通知初审合格者前来面试。资格审查未通过者,恕不另行通知。本招聘有效期至招到合适人员为止。
待遇:
以上岗位属项目聘用,工资待遇按工作业绩以及中科院软件所相关管理规定执行,优秀应聘者待遇从优。
为防止简历投递丢失请抄送一份至:boshijob@126.com(邮件标题格式:应聘职位名称+姓名+学历+专业+中国博士人才网)
中国-博士人才网发布
声明提示:凡本网注明“来源:XXX”的文/图等稿件,本网转载出于传递更多信息及方便产业探讨之目的,并不意味着本站赞同其观点或证实其内容的真实性,文章内容仅供参考。