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