根據(jù)中國科學院空間應(yīng)用工程與技術(shù)中心工作需要，遵循“公開、平等、競爭、擇優(yōu)”的原則，現(xiàn)面向中心內(nèi)外公開招聘軟件評測中心高端人才。
一、招聘崗位與要求
1.智能化軟件驗證方法研究與應(yīng)用：
a.負責人工智能軟件深度驗證方法的前瞻性研究和規(guī)劃，開展相關(guān)基金、課題等申請工作；
b.分析具有智能特征的多類復雜系統(tǒng)業(yè)務(wù)模式，探索機器學習算法及人工智能應(yīng)用可能帶來的安全可靠性問題和相應(yīng)解決方案。負責開展智能軟件深度驗證方法研究成果在無人駕駛等汽車領(lǐng)域，以及自主導航等軍工領(lǐng)域的應(yīng)用和推廣。
任職要求：
1)博士及以上學歷，有海外名校經(jīng)歷或海外工作背景，計算機科學與技術(shù)、電子信息、軟件工程、通信工程、數(shù)學等相關(guān)專業(yè)；
2)對人工智能算法驗證有較深入的研究，并取得具有一定影響力的研究成果；
3)參加過人工智能方向大型科研項目，或者參與過相關(guān)研究咨詢類項目工作者優(yōu)先；
4)具備較強的英語聽說讀寫能力，以及優(yōu)秀的表述能力。
2.復雜軟件智能測試技術(shù)研究與應(yīng)用：
a.負責開展人工智能方法在嵌入式軟件測試任務(wù)中的創(chuàng)新應(yīng)用研究和技術(shù)推廣；
b.負責通過測試新技術(shù)和平臺新架構(gòu)等手段，著力于不斷提升工程軟件測試效率，以及自動化和智能化水平；
c.主持相關(guān)基金和研究課題的申請，取得具有國際先進水平的技術(shù)成果。
任職要求：
1)計算機科學與技術(shù)、電子信息、軟件工程、通信工程、數(shù)學等相關(guān)專業(yè)博士及以上學歷，有海外學習經(jīng)歷或海外工作背景；
2)對軟件智能測試方法或測試新技術(shù)有深入研究，并取得具有一定影響力的研究成果；
3)參加過軟件智能測試方面大型科研項目或相關(guān)咨詢類工作者優(yōu)先。
3.柔性仿真測試及健康管理技術(shù)研究與應(yīng)用：
a.負責柔性仿真測試及健康管理技術(shù)研究和應(yīng)用；
b.負責在現(xiàn)有平臺架構(gòu)基礎(chǔ)上，基于柔性測試和健康管理技術(shù)研究成果，進行持續(xù)的產(chǎn)品規(guī)劃、新技術(shù)論證、設(shè)計研制等工作。
任職要求：
1)計算機科學與技術(shù)、電子信息、軟件工程、通信工程、數(shù)學等相關(guān)專業(yè)碩士及以上學歷；
2)對工業(yè)或軍用裝備軟件測試或測試系統(tǒng)研制有深入研究，并在相關(guān)領(lǐng)域具有多個成功項目經(jīng)驗。
4.嵌入式操作系統(tǒng)等實時系統(tǒng)驗證方法研究與應(yīng)用：
a.負責嵌入式操作系統(tǒng)等實時系統(tǒng)的功能驗證和性能優(yōu)化等方法研究和規(guī)劃；
b.主持項目為空間應(yīng)用任務(wù)中嵌入式操作系統(tǒng)選型、移植等相關(guān)工作提供技術(shù)咨詢和指導;
c.主持相關(guān)基金和預研課題的申請工作，取得具有國內(nèi)先進水平的科技成果。
任職要求：
1)計算機科學與技術(shù)、軟件工程、信息工程、數(shù)學等相關(guān)專業(yè)碩士及以上學歷，有海外名校經(jīng)歷或海外工作背景者優(yōu)先；
2)對嵌入式操作系統(tǒng)等實時系統(tǒng)分析驗證有深入研究，并取得具有影響力的研究成果；
3)參加過嵌入式操作系統(tǒng)研發(fā)、驗證等大型科研項目或參與過相關(guān)工程任務(wù)者優(yōu)先。
5．軟件形式化驗證方法研究與應(yīng)用帶頭人:
a.負責軟件形式化驗證方法（形式化模型構(gòu)建、形式化模型評估和校核、形式化驗證算法、形式化驗證覆蓋率等）研究和規(guī)劃，并開展在復雜控制系統(tǒng)軟件領(lǐng)域的應(yīng)用和推廣；
b.主持相關(guān)基金和預研課題的申請工作，取得具有國際先進水平的科技成果。
任職要求：
1)博士及以上學歷，有海外名校經(jīng)歷或海外工作背景，計算機科學與技術(shù)、電子信息、軟件工程、通信工程、數(shù)學等相關(guān)專業(yè)；
2)對軟件形式化驗證有深入研究，并取得具有一定國際影響力的研究成果；
3)參加過形式化驗證的大型科研項目或參與過相關(guān)工程任務(wù)者優(yōu)先。
二、應(yīng)聘條件
1.具有良好的溝通和組織協(xié)調(diào)能力，工作責任心強，吃苦耐勞，具有較強的進取精神和團隊合作精神，并具有良好的品行和服務(wù)意識；
2.服從工作安排，組織紀律性強，具備國家重大工程項目實施經(jīng)驗優(yōu)先，具有載人航天工程項目研制經(jīng)驗優(yōu)先；
3.具有北京戶口或者能自行解決北京市戶口。
三、崗位待遇
工資福利待遇按國家、中國科學院和中心有關(guān)規(guī)定執(zhí)行。
四、應(yīng)聘程序
1.凡符合應(yīng)聘條件的人員均可報名，招滿即止。
2.應(yīng)聘者須提供《中國科學院空間應(yīng)用工程與技術(shù)中心應(yīng)聘申請表》及其它證明材料，請以“姓名+應(yīng)聘崗位名稱”作為郵件主題和附件名稱，材料發(fā)至：hr@csu.ac.cn。
3.通過資格初審的應(yīng)聘者參加面試，面試時間和地點將另行通知。初選不合格者不另行通知。
中科院空間應(yīng)用工程與技術(shù)中心
2019年9月3日
一、招聘崗位與要求
1.智能化軟件驗證方法研究與應(yīng)用：
a.負責人工智能軟件深度驗證方法的前瞻性研究和規(guī)劃，開展相關(guān)基金、課題等申請工作；
b.分析具有智能特征的多類復雜系統(tǒng)業(yè)務(wù)模式，探索機器學習算法及人工智能應(yīng)用可能帶來的安全可靠性問題和相應(yīng)解決方案。負責開展智能軟件深度驗證方法研究成果在無人駕駛等汽車領(lǐng)域，以及自主導航等軍工領(lǐng)域的應(yīng)用和推廣。
任職要求：
1)博士及以上學歷，有海外名校經(jīng)歷或海外工作背景，計算機科學與技術(shù)、電子信息、軟件工程、通信工程、數(shù)學等相關(guān)專業(yè)；
2)對人工智能算法驗證有較深入的研究，并取得具有一定影響力的研究成果；
3)參加過人工智能方向大型科研項目，或者參與過相關(guān)研究咨詢類項目工作者優(yōu)先；
4)具備較強的英語聽說讀寫能力，以及優(yōu)秀的表述能力。
2.復雜軟件智能測試技術(shù)研究與應(yīng)用：
a.負責開展人工智能方法在嵌入式軟件測試任務(wù)中的創(chuàng)新應(yīng)用研究和技術(shù)推廣；
b.負責通過測試新技術(shù)和平臺新架構(gòu)等手段，著力于不斷提升工程軟件測試效率，以及自動化和智能化水平；
c.主持相關(guān)基金和研究課題的申請，取得具有國際先進水平的技術(shù)成果。
任職要求：
1)計算機科學與技術(shù)、電子信息、軟件工程、通信工程、數(shù)學等相關(guān)專業(yè)博士及以上學歷，有海外學習經(jīng)歷或海外工作背景；
2)對軟件智能測試方法或測試新技術(shù)有深入研究，并取得具有一定影響力的研究成果；
3)參加過軟件智能測試方面大型科研項目或相關(guān)咨詢類工作者優(yōu)先。
3.柔性仿真測試及健康管理技術(shù)研究與應(yīng)用：
a.負責柔性仿真測試及健康管理技術(shù)研究和應(yīng)用；
b.負責在現(xiàn)有平臺架構(gòu)基礎(chǔ)上，基于柔性測試和健康管理技術(shù)研究成果，進行持續(xù)的產(chǎn)品規(guī)劃、新技術(shù)論證、設(shè)計研制等工作。
任職要求：
1)計算機科學與技術(shù)、電子信息、軟件工程、通信工程、數(shù)學等相關(guān)專業(yè)碩士及以上學歷；
2)對工業(yè)或軍用裝備軟件測試或測試系統(tǒng)研制有深入研究，并在相關(guān)領(lǐng)域具有多個成功項目經(jīng)驗。
4.嵌入式操作系統(tǒng)等實時系統(tǒng)驗證方法研究與應(yīng)用：
a.負責嵌入式操作系統(tǒng)等實時系統(tǒng)的功能驗證和性能優(yōu)化等方法研究和規(guī)劃；
b.主持項目為空間應(yīng)用任務(wù)中嵌入式操作系統(tǒng)選型、移植等相關(guān)工作提供技術(shù)咨詢和指導;
c.主持相關(guān)基金和預研課題的申請工作，取得具有國內(nèi)先進水平的科技成果。
任職要求：
1)計算機科學與技術(shù)、軟件工程、信息工程、數(shù)學等相關(guān)專業(yè)碩士及以上學歷，有海外名校經(jīng)歷或海外工作背景者優(yōu)先；
2)對嵌入式操作系統(tǒng)等實時系統(tǒng)分析驗證有深入研究，并取得具有影響力的研究成果；
3)參加過嵌入式操作系統(tǒng)研發(fā)、驗證等大型科研項目或參與過相關(guān)工程任務(wù)者優(yōu)先。
5．軟件形式化驗證方法研究與應(yīng)用帶頭人:
a.負責軟件形式化驗證方法（形式化模型構(gòu)建、形式化模型評估和校核、形式化驗證算法、形式化驗證覆蓋率等）研究和規(guī)劃，并開展在復雜控制系統(tǒng)軟件領(lǐng)域的應(yīng)用和推廣；
b.主持相關(guān)基金和預研課題的申請工作，取得具有國際先進水平的科技成果。
任職要求：
1)博士及以上學歷，有海外名校經(jīng)歷或海外工作背景，計算機科學與技術(shù)、電子信息、軟件工程、通信工程、數(shù)學等相關(guān)專業(yè)；
2)對軟件形式化驗證有深入研究，并取得具有一定國際影響力的研究成果；
3)參加過形式化驗證的大型科研項目或參與過相關(guān)工程任務(wù)者優(yōu)先。
二、應(yīng)聘條件
1.具有良好的溝通和組織協(xié)調(diào)能力，工作責任心強，吃苦耐勞，具有較強的進取精神和團隊合作精神，并具有良好的品行和服務(wù)意識；
2.服從工作安排，組織紀律性強，具備國家重大工程項目實施經(jīng)驗優(yōu)先，具有載人航天工程項目研制經(jīng)驗優(yōu)先；
3.具有北京戶口或者能自行解決北京市戶口。
三、崗位待遇
工資福利待遇按國家、中國科學院和中心有關(guān)規(guī)定執(zhí)行。
四、應(yīng)聘程序
1.凡符合應(yīng)聘條件的人員均可報名，招滿即止。
2.應(yīng)聘者須提供《中國科學院空間應(yīng)用工程與技術(shù)中心應(yīng)聘申請表》及其它證明材料，請以“姓名+應(yīng)聘崗位名稱”作為郵件主題和附件名稱，材料發(fā)至：hr@csu.ac.cn。
3.通過資格初審的應(yīng)聘者參加面試，面試時間和地點將另行通知。初選不合格者不另行通知。
中科院空間應(yīng)用工程與技術(shù)中心
2019年9月3日
為防止簡歷投遞丟失請抄送一份至：boshijob@126.com（郵件標題格式：應(yīng)聘職位名稱+姓名+學歷+專業(yè)+中國博士人才網(wǎng)）
中國-博士人才網(wǎng)發(fā)布
聲明提示：凡本網(wǎng)注明“來源：XXX”的文/圖等稿件，本網(wǎng)轉(zhuǎn)載出于傳遞更多信息及方便產(chǎn)業(yè)探討之目的，并不意味著本站贊同其觀點或證實其內(nèi)容的真實性，文章內(nèi)容僅供參考。
