應屆畢業(yè)生
碩士
最近更新
556人關注
職位描述
該職位還未進行加V認證，請仔細了解后再進行投遞！
職責描述：
我們正在尋找一位有經(jīng)驗的嵌入式操作系統(tǒng)形式化驗證專家，加入我們致力于開發(fā)安全、可靠和高效的嵌入式系統(tǒng)的團隊。該職位需要您具備深厚的嵌入式系統(tǒng)知識和形式化驗證技能，能夠設計和執(zhí)行復雜的驗證測試，確保我們的嵌入式操作系統(tǒng)滿足高性能和安全性標準。
任職要求：
1.數(shù)學、計算機、電子、自動化、通訊等信息相關專業(yè)，碩士及以上學歷；
2.至少五年的嵌入式系統(tǒng)開發(fā)或形式化驗證經(jīng)驗。
3.精通C/C 語言，熟悉匯編語言，并對其他系統(tǒng)編程語言有深入了解。
4.熟悉操作系統(tǒng)原理，并具有深入分析Linux、QNX、vxworks等至少一種操作系統(tǒng)內(nèi)核代碼的經(jīng)驗。
4.熟悉形式化驗證工具和方法，如模型檢查、定理證明等，掌握Isabelle或者Coq等主流的定理輔助證明工具；
5.有較強的邏輯分析和問題解決能力，能夠獨立設計和執(zhí)行驗證測試；
6.具備良好的溝通表達能力及較強的團隊合作意識
注：聯(lián)系我時，請說是在包頭人才網(wǎng)上看到的。
工作地點
地址：北京海淀區(qū)北京-海淀區(qū)北京廣利核系統(tǒng)工程有限公司
??
點擊查看地圖
詳細位置，可以參考上方地址信息
求職提示：用人單位發(fā)布虛假招聘信息，或以任何名義向求職者收取財物（如體檢費、置裝費、押金、服裝費、培訓費、身份證、畢業(yè)證等），均涉嫌違法，請求職者務必提高警惕。
職位發(fā)布者
史女士/..HR
北京廣利核系統(tǒng)工程有限公司
-
儀器·儀表·工業(yè)自動化·電氣
-
500-999人
-
公司性質(zhì)未知
-
北京市海淀區(qū)永豐產(chǎn)業(yè)基地五號院五號樓
相似職位
-
裝卸工 面議東河區(qū) 應屆畢業(yè)生 不限包頭翔達航空商務有限公司
-
爐前副班長 8000-9000元達爾罕茂明安聯(lián)合旗 應屆畢業(yè)生 不限通威集團有限公司
-
北碚小廠不穿無塵服非常輕松 面議青山區(qū) 應屆畢業(yè)生 不限重慶夢然人力資源管理有限公司
-
招聘專員 4000-7000元青山區(qū) 應屆畢業(yè)生 大專上海尋夢信息技術有限公司
-
人事綜合文員（包頭） 面議石拐區(qū) 應屆畢業(yè)生 不限內(nèi)蒙古極兔倉儲有限公司
-
宜賓萬達華為店體驗顧問 5元以上青山區(qū) 應屆畢業(yè)生 中技成都英普瑞生通訊設備有限公司
