操作系統(tǒng)驗證工程師

面議

北京碩士研究生 2人 2025-09-08發(fā)布查看公告詳情

包住帶薪年假專業(yè)培訓(xùn) 出國機會

定期/免費體檢落戶辦理

競爭力分析

聲明：本站部分公告與職位內(nèi)容由本站根據(jù)官方招聘公告進行整理編輯。由于用人單位需求專業(yè)、學(xué)歷學(xué)位、資格條件、職位編制、備注內(nèi)容等內(nèi)容情況復(fù)雜且有變化可能，是否符合招聘條件以用人單位公告為準(zhǔn)或請聯(lián)系用人單位確認(rèn)。本站整理編輯的職位信息僅供求職者參考，如因此造成的損失本站不承擔(dān)任何責(zé)任！

職位詳情

基本信息

職位名稱：操作系統(tǒng)驗證工程師

職位類型：其他科研支撐崗

工作地點：北京

招聘人數(shù)： 2

報名方式：網(wǎng)上系統(tǒng),其他

截止時間：詳見正文

用人部門：基礎(chǔ)軟件與系統(tǒng)重點實驗室

其他要求

學(xué)歷要求：碩士研究生

需求專業(yè)：

計算機科學(xué)與技術(shù), 軟件工程

該需求專業(yè)僅展示一級學(xué)科

崗位職責(zé)

1.使用約束求解、定理證明等技術(shù)進行操作系統(tǒng)驗證
2.開發(fā)相關(guān)驗證工具
3.撰寫高水平國際會議/期刊文章
4.協(xié)助指導(dǎo)研究生

任職要求

1.操作系統(tǒng)經(jīng)驗：熟悉Linux或歐拉等相關(guān)開源操作系統(tǒng)的內(nèi)核架構(gòu)與工作原理，并具有相關(guān)開發(fā)經(jīng)驗；
2.編程技能：熟練掌握C/C++編程，了解匯編語言，具備出色的編程和調(diào)試能力；
3.問題解決能力：具有優(yōu)秀的問題分析與解決能力，具備在大型/復(fù)雜軟件系統(tǒng)中快速定位并解決問題的能力；
4.團隊協(xié)作：擁有良好的溝通能力和團隊合作精神，能夠與研究團隊密切合作；
5.英文能力：具備良好的英文讀寫能力，能熟練閱讀和撰寫技術(shù)文檔，具備基本的英語交流能力；
6.優(yōu)先考慮：
- 具備形式化驗證、軟件測試、系統(tǒng)安全、或RISC-V相關(guān)經(jīng)驗者優(yōu)先；
- 有大型開源軟件開發(fā)經(jīng)驗者優(yōu)先；
- 具備軟件高安全等級認(rèn)證經(jīng)驗者優(yōu)先。

其他說明

投遞方式：
1.官網(wǎng)投遞：https://careersite.tupu360.com/iscas/position/index?recruitmentType=CAMPUSRECRUITMENT
2.官微投遞：關(guān)注“中科院軟件所招聘平臺”公眾號或掃描下列二維碼

競爭力分析

解鎖詳細分析

您與該職位匹配度: ***，已超過了 *** 的競爭者，建議************

較低

一般

比較匹配

非常匹配

查看其他職位查看公告詳情

歡迎掃描下方二維碼關(guān)注高校人才網(wǎng)官方微信（碩博QQ交流群：928126168 ，進微信群請點擊添加官方客服號）