公司名稱：長沙某知名芯片公司
工作地點：長沙
職位描述：
1、操作系統(tǒng)的論證工作
2、操作系統(tǒng)的軟件架構設計作
3、產(chǎn)品需求分析及設計
崗位要求：
熟悉操作系統(tǒng)原理，熟悉面向嵌入式的宏內(nèi)核、微內(nèi)核操作系統(tǒng)，有相關架構設計經(jīng)驗，至少熟悉一個硬件架構：ARM、X86、PPC具有安全關鍵軟件的架構、模塊設計能力以及經(jīng)驗，掌握安全關鍵軟件的設計方法及工具。GNU編譯工具鏈有比較深刻的理解；熟練掌握C編程語言，具備較強的編碼能力。
具備較強英語讀寫能力
了解形式化設計及驗證方法，有模型驅(qū)動開發(fā)經(jīng)驗優(yōu)先。
具有ARINC653系統(tǒng)開發(fā)或者應用經(jīng)驗者優(yōu)先。
具有航空電子軟件開發(fā)經(jīng)驗者優(yōu)先。
具有RTCA DO-178標準實踐經(jīng)驗者優(yōu)先。
