| 工作地點:海淀區(qū) | |
| 招聘人數:1 人 | |
| 工作地點:海淀區(qū) | |
| 招聘人數:1 人 | |
職責描述:我們正在尋找一位有經驗的嵌入式操作系統(tǒng)形式化驗證專家,加入我們致力于開發(fā)安全、可靠和高效的嵌入式系統(tǒng)的團隊。該職位需要您具備深厚的嵌入式系統(tǒng)知識和形式化驗證技能,能夠設計和執(zhí)行復雜的驗證測試,確保我們的嵌入式操作系統(tǒng)滿足高性能和安全性標準。任職要求:1.數學、計算機、電子、自動化、通訊等信息相關專業(yè),碩士及以上學歷;2.至少五年的嵌入式系統(tǒng)開發(fā)或形式化驗證經驗。3.精通C/C++語言,熟悉匯編語言,并對其他系統(tǒng)編程語言有深入了解。4.熟悉操作系統(tǒng)原理,并具有深入分析Linux、QNX、vxworks等至少一種操作系統(tǒng)內核代碼的經驗。4.熟悉形式化驗證工具和方法,如模型檢查、定理證明等,掌握Isabelle或者Coq等主流的定理輔助證明工具;5.有較強的邏輯分析和問題解決能力,能夠獨立設計和執(zhí)行驗證測試;6.具備良好的溝通表達能力及較強的團隊合作意識
| 學歷要求:碩士 | 工作經驗:1年以下 |
| 年齡要求:不限 | 性別要求:不限 |
| 語言要求:普通話 |
| 公司性質:其它 | 公司規(guī)模:500-999人 |
| 所屬行業(yè):通信(設備/運營/服務),辦公用品及設備,電氣機械/設備/重工,醫(yī)療設備/器械 |
北京廣利核系統(tǒng)工程有限公司(簡稱“廣利核公司”)是中廣核集團與北京和利時系統(tǒng)工程有限公司共同出資成立(中廣核集團控股)的從事核電數字化儀控系統(tǒng)設計、制造和工程服務的專業(yè)化企業(yè),面向核電站提供端到端、全生命周期的數字化儀控系統(tǒng)(DCS)解決方案。自1993年進入核電領域以來,廣利核公司已經在超過120個核電數字化儀控系統(tǒng)項目中取得成功。公司自主生產的數字化儀控系統(tǒng)平臺在國內各代堆型、各種技術路線的核電儀控系統(tǒng)中得到廣泛應用,業(yè)績涵蓋國內大多數在役和新建核電站。目前公司已經掌握百萬千瓦級核電機組的數字化儀控技術,成為國際上少數幾個具備核電站全廠數字化儀控系統(tǒng)(包括安全級在內)供貨能力的供應商之一。高質量的核電儀控人才是自主創(chuàng)新的源動力,廣利核公司一直致力于為中國核電儀控事業(yè)發(fā)展儲備優(yōu)秀的專業(yè)人才,倡導“創(chuàng)業(yè)、創(chuàng)新、創(chuàng)優(yōu)”的科學人才發(fā)展價值觀。公司擁有一支專業(yè)齊全、業(yè)務熟練、技術精湛的員工隊伍,具備優(yōu)秀的計劃組織、管理能力和工程經驗。截止目前,公司擁有正式職工近700人,其中30%以上的員工擁有碩士或博士學歷,50%以上的員工擁有本科學歷。

通信(設備/運營/服務),辦公用品及設備,電氣機械/設備/重工,醫(yī)療設備/器械
500-999人
其它
北京市海淀區(qū)永豐路5號院5號樓1層101