中科院空间应用工程与技术中心招聘启事
对于以下方向的优秀人才，我单位承诺可参照国家相关人才引进计划，积极配合申请者进行相关申报工作。
根据中科院空间应用工程中心软件评测中心工作需要，招聘大量高端人才，工作地点为北京市。
一、 基本原则
按照“公开、平等、竞争、择优”的原则，公布岗位，公开招聘，竞争上岗，择优聘任。
二、 岗位职责及任职条件
岗位一：智能软件深度验证方法研究与应用项目负责人
岗位职责：
--负责人工智能软件深度验证方法的前瞻性研究和规划，开展相关基金、课题等申请工作；
--分析机器学习等智能系统特点，探索人工智能应用可能带来的安全性问题和解决方案，负责开展智能软件深度验证方法研究成果在无人驾驶、高级驾驶辅助系统(ADAS)等智能领域的应用和推广；
任职条件
--博士及以上学历，有海外名校经历或海外工作背景，计算机科学与技术、电子信息、软件工程、通信工程、数学等相关专业；
--对人工智能算法验证有深入研究，并取得具有一定国际影响力的研究成果。
--参加过人工智能方面大型科研项目，或者参与过研究咨询类工作者优先，；
--具备优秀的英语听说读写能力，具备优秀的PPT写作演讲能力；
岗位二：软件智能测试方法研究与应用项目负责人
岗位职责：
--负责开展人工智能方法在嵌入式软件测试任务中的创新应用研究和技术推广；
--主持相关基金和研究课题的申请，取得具有国际先进水平的科技成果；
任职条件
--博士及以上学历，有海外名校经历或海外工作背景，计算机科学与技术、电子信息、软件工程、通信工程、数学等相关专业；
--对软件智能测试方法或技术有深入研究，并取得具有一定国际影响力的研究成果；
--参加过软件智能测试方面大型科研项目或相关咨询类工作者优先；
岗位三：软件形式化验证方法研究与应用带头人
岗位职责：
--负责软件形式化验证方法（形式化模型构建、形式化模型评估和校核、形式化验证算法、形式化验证覆盖率等）研究和规划，并开展在复杂控制系统软件领域的应用和推广；
--主持相关基金和预研课题的申请工作，取得具有国际先进水平的科技成果。
任职条件
--博士及以上学历，有海外名校经历或海外工作背景，计算机科学与技术、电子信息、软件工程、通信工程、数学等相关专业；
--对软件形式化验证有深入研究，并取得具有一定国际影响力的研究成果。
--参加过形式化验证的大型科研项目或参与过相关工程任务者优先；
三、 招聘程序
1、自发布招聘启事之日起，凡符合招聘条件的人员均可报名，招聘截止日期：2019年8月31日。
2、应聘者须提供个人简历（简历命名：姓名+应聘岗位名称）及相关证明材料一份，发送至zhoushan@csu.ac.cn。邮件主题：姓名+应聘岗位。未按要求者，视为放弃应聘。经过初审后，合格者将另行通知考核时间和地点，未通过者材料恕不退回。
四、 聘后管理
1、聘用人员按照中科院空间应用工程中心相关标准执行。
2、对于以上方向的优秀人才，我单位承诺可参照国家相关人才引进计划，积极配合申请者进行相关申报工作。
五、 联系方式
单位：中科院空间应用工程与技术中心
联 系 人：周老师
电子邮箱：zhoushan@csu.ac.cn
中国科学院空间应用工程与技术中心（以下简称中心）代表中国科学院抓总负责载人航天空间科学与应用任务的规划、实施及成果产出与推广，是载人航天工程空间应用系统的总体单位。承担工程研制的组织管理，系统设计、集成、测试，可靠性保障，在轨技术支持，有效载荷在轨运控管理，数据获取及应用成果的推广服务等系统技术支持、支撑、保障、服务工作。 中国科学院空间应用工程与技术中心（以下简称中心）代表中国科学院抓总负责载人航天空间科学与应用任务的规划、实施及成果产出与推广，是载人航天工程空间应用系统的总体单位。承担工程研制的组织管理，系统设计、集成、测试，可靠性保障，在轨技术支持，有效载荷在轨运控管理，数据获取及应用成果的推广服务等系统技术支持、支撑、保障、服务工作。
