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