- 工作地点：北京
- 职位：软件开发工程师
- 信息来源：高校人才网
说明：
此信息由高校人才网审核并发布（查看原发布网址），应届生求职网转载该信息只是出于传递更多就业招聘信息，促进大学生就业的目的。如您对此转载信息有疑义，请与原信息发布者高校人才网核实，并请同时联系本站处理该转载信息。
中科院软件所成立于1985年3月1日，是一所致力于计算机科学理论和软件高新技术的研究与发展的综合性基地型研究所（详情请查阅软件所网页ww***.cn[点击查看]）。因工作需要，中科院软件所计算机科学国家重点实验室，现公开招聘1名工作人员：
岗位名称：软件开发工程师1人
工作职责：
主要参与中科院和国家自然科学基金项目。研究方向包括：
1.基于高阶逻辑的形式化数学。
2.形式化数学的自动化。
3.形式化数学在工程里的应用。
招聘条件：
1.熟悉Isabelle,Coq,HOL-Light或类似交互式定理证明器的使用。
2.在形式化数学方面具备一定实践基础。
3.博士学历。
应聘材料的投递：
应聘者请将本人简历发送至：bzhan@ioshaijiang@">.，邮件名称为“姓名 应聘岗位 ”。
面试：
研究所按招聘条件对申请者进行资格审查，并在收到材料的一个月内通知初审合格者前来面试。资格审查未通过者，恕不另行通知。本招聘有效期至招到合适人员为止。
待遇：
以上岗位属项目聘用，工资待遇按工作业绩以及中科院软件所相关管理规定执行，优秀应聘者待遇从优。
查看次数：次
