應(yīng)屆畢業(yè)生
碩士
最近更新
524人關(guān)注
職位描述
該職位還未進(jìn)行加V認(rèn)證，請仔細(xì)了解后再進(jìn)行投遞！
職責(zé)描述：
我們正在尋找一位有經(jīng)驗(yàn)的嵌入式操作系統(tǒng)形式化驗(yàn)證專家，加入我們致力于開發(fā)安全、可靠和高效的嵌入式系統(tǒng)的團(tuán)隊。該職位需要您具備深厚的嵌入式系統(tǒng)知識和形式化驗(yàn)證技能，能夠設(shè)計和執(zhí)行復(fù)雜的驗(yàn)證測試，確保我們的嵌入式操作系統(tǒng)滿足高性能和安全性標(biāo)準(zhǔn)。
任職要求：
1.數(shù)學(xué)、計算機(jī)、電子、自動化、通訊等信息相關(guān)專業(yè)，碩士及以上學(xué)歷；
2.至少五年的嵌入式系統(tǒng)開發(fā)或形式化驗(yàn)證經(jīng)驗(yàn)。
3.精通C/C 語言，熟悉匯編語言，并對其他系統(tǒng)編程語言有深入了解。
4.熟悉操作系統(tǒng)原理，并具有深入分析Linux、QNX、vxworks等至少一種操作系統(tǒng)內(nèi)核代碼的經(jīng)驗(yàn)。
4.熟悉形式化驗(yàn)證工具和方法，如模型檢查、定理證明等，掌握Isabelle或者Coq等主流的定理輔助證明工具；
5.有較強(qiáng)的邏輯分析和問題解決能力，能夠獨(dú)立設(shè)計和執(zhí)行驗(yàn)證測試；
6.具備良好的溝通表達(dá)能力及較強(qiáng)的團(tuán)隊合作意識
注：聯(lián)系我時，請說是在包頭人才網(wǎng)上看到的。
工作地點(diǎn)
地址：北京海淀區(qū)北京-海淀區(qū)北京廣利核系統(tǒng)工程有限公司
??
點(diǎn)擊查看地圖
詳細(xì)位置，可以參考上方地址信息
求職提示：用人單位發(fā)布虛假招聘信息，或以任何名義向求職者收取財物（如體檢費(fèi)、置裝費(fèi)、押金、服裝費(fèi)、培訓(xùn)費(fèi)、身份證、畢業(yè)證等），均涉嫌違法，請求職者務(wù)必提高警惕。
職位發(fā)布者
史女士/..HR
北京廣利核系統(tǒng)工程有限公司
-
儀器·儀表·工業(yè)自動化·電氣
-
500-999人
-
公司性質(zhì)未知
-
北京市海淀區(qū)永豐產(chǎn)業(yè)基地五號院五號樓
相似職位
-
區(qū)域負(fù)責(zé)人（湖北） 面議青山區(qū) 應(yīng)屆畢業(yè)生 不限四川興和營造建設(shè)工程有限公司
-
樓層管理 面議青山區(qū) 應(yīng)屆畢業(yè)生 不限長春萬達(dá)廣場商業(yè)物業(yè)服務(wù)有限公司
-
惠濟(jì)萬達(dá)高薪（日賺680）招過年值班騎手 面議青山區(qū) 應(yīng)屆畢業(yè)生 不限河南斯比得電子商務(wù)有限公司
-
包頭金劍南城市經(jīng)理 (MJ001170) 10000-15000元青山區(qū) 應(yīng)屆畢業(yè)生 本科四川匯金商貿(mào)有限公司
-
內(nèi)蒙城市經(jīng)理(J10201) 面議青山區(qū) 3年以上 大專永和食品(中國)股份有限公司
-
安裝預(yù)算員 面議九原區(qū) 應(yīng)屆畢業(yè)生 不限內(nèi)蒙古包頭興業(yè)集團(tuán)興元建筑有限公司
