根据中国科学院空间应用工程与技术中心工作需要，遵循“公开、平等、竞争、择优”的原则，现面向中心内外公开招聘软件评测中心高端人才。

一、招聘岗位与要求

1.智能化软件验证方法研究与应用：

a.负责人工智能软件深度验证方法的前瞻性研究和规划，开展相关基金、课题等申请工作；

b.分析具有智能特征的多类复杂系统业务模式，探索机器学习算法及人工智能应用可能带来的安全可靠性问题和相应解决方案。负责开展智能软件深度验证方法研究成果在无人驾驶等汽车领域，以及自主导航等军工领域的应用和推广。

任职要求：

1)博士及以上学历，有海外名校经历或海外工作背景，计算机科学与技术、电子信息、软件工程、通信工程、数学等相关专业；

2)对人工智能算法验证有较深入的研究，并取得具有一定影响力的研究成果；

3)参加过人工智能方向大型科研项目，或者参与过相关研究咨询类项目工作者优先；

4)具备较强的英语听说读写能力，以及优秀的表述能力。

2.复杂软件智能测试技术研究与应用：

a.负责开展人工智能方法在嵌入式软件测试任务中的创新应用研究和技术推广；

b.负责通过测试新技术和平台新架构等手段，着力于不断提升工程软件测试效率，以及自动化和智能化水平；

c.主持相关基金和研究课题的申请，取得具有国际先进水平的技术成果。

任职要求：

1)计算机科学与技术、电子信息、软件工程、通信工程、数学等相关专业博士及以上学历，有海外学习经历或海外工作背景；

2)对软件智能测试方法或测试新技术有深入研究，并取得具有一定影响力的研究成果；

3)参加过软件智能测试方面大型科研项目或相关咨询类工作者优先。

3.柔性仿真测试及健康管理技术研究与应用：

a.负责柔性仿真测试及健康管理技术研究和应用；

b.负责在现有平台架构基础上，基于柔性测试和健康管理技术研究成果，进行持续的产品规划、新技术论证、设计研制等工作。

任职要求：

1)计算机科学与技术、电子信息、软件工程、通信工程、数学等相关专业硕士及以上学历；

2)对工业或军用装备软件测试或测试系统研制有深入研究，并在相关领域具有多个成功项目经验。

4.嵌入式操作系统等实时系统验证方法研究与应用：

a.负责嵌入式操作系统等实时系统的功能验证和性能优化等方法研究和规划；

b.主持项目为空间应用任务中嵌入式操作系统选型、移植等相关工作提供技术咨询和指导;

c.主持相关基金和预研课题的申请工作，取得具有国内先进水平的科技成果。

任职要求：

1)计算机科学与技术、软件工程、信息工程、数学等相关专业硕士及以上学历，有海外名校经历或海外工作背景者优先；

2)对嵌入式操作系统等实时系统分析验证有深入研究，并取得具有影响力的研究成果；

3)参加过嵌入式操作系统研发、验证等大型科研项目或参与过相关工程任务者优先。

5．软件形式化验证方法研究与应用带头人:

a.负责软件形式化验证方法（形式化模型构建、形式化模型评估和校核、形式化验证算法、形式化验证覆盖率等）研究和规划，并开展在复杂控制系统软件领域的应用和推广；

b.主持相关基金和预研课题的申请工作，取得具有国际先进水平的科技成果。

任职要求：

1)博士及以上学历，有海外名校经历或海外工作背景，计算机科学与技术、电子信息、软件工程、通信工程、数学等相关专业；

2)对软件形式化验证有深入研究，并取得具有一定国际影响力的研究成果；

3)参加过形式化验证的大型科研项目或参与过相关工程任务者优先。

二、应聘条件

1.具有良好的沟通和组织协调能力，工作责任心强，吃苦耐劳，具有较强的进取精神和团队合作精神，并具有良好的品行和服务意识；

2.服从工作安排，组织纪律性强，具备国家重大工程项目实施经验优先，具有载人航天工程项目研制经验优先；

3.具有北京户口或者能自行解决北京市户口。

三、岗位待遇

工资福利待遇按国家、中国科学院和中心有关规定执行。

四、应聘程序

1.凡符合应聘条件的人员均可报名，招满即止。

2.应聘者须提供《中国科学院空间应用工程与技术中心应聘申请表》及其它证明材料，请以“姓名+应聘岗位名称+91考试网”作为邮件主题和附件名称，材料发至：hr@csu.ac.cn。

3.通过资格初审的应聘者参加面试，面试时间和地点将另行通知。初选不合格者不另行通知。

中科院空间应用工程与技术中心

2019年9月3日

附件：中国科学院空间应用工程与技术中心应聘申请表.doc