1、負(fù)責(zé)面向云、數(shù)據(jù)中心、大規(guī)模集群上的AI智能計(jì)算、大數(shù)據(jù)、數(shù)據(jù)庫(kù)、虛擬化等業(yè)務(wù)場(chǎng)景，進(jìn)行操作系統(tǒng)的方案設(shè)計(jì)、關(guān)鍵技術(shù)挖掘和原型構(gòu)建工作，并推動(dòng)關(guān)鍵技術(shù)落地；

2、參與基于X86和ARM64等架構(gòu)的OS核心子系統(tǒng)（包括內(nèi)存，存儲(chǔ)，驅(qū)動(dòng)，安全攻防，軟硬件協(xié)同等）的特性分析、設(shè)計(jì)、編碼和性能調(diào)測(cè)與優(yōu)化等研發(fā)工作;
3、負(fù)責(zé)操作系統(tǒng)、嵌入式軟硬件、模型驅(qū)動(dòng)開發(fā)工具中形式化建模與形式化驗(yàn)證相關(guān)技術(shù)研究，參與操作系統(tǒng)等領(lǐng)域形式化驗(yàn)證相關(guān)項(xiàng)目實(shí)踐，完成項(xiàng)目的調(diào)研、設(shè)計(jì)、編碼、調(diào)試等工作；
4、負(fù)責(zé)操作系統(tǒng)生態(tài)鏈構(gòu)建，如技術(shù)開發(fā)、開源運(yùn)作、行業(yè)認(rèn)證等；
5、跟蹤業(yè)界OS內(nèi)核領(lǐng)域關(guān)鍵技術(shù)動(dòng)態(tài)及關(guān)鍵技術(shù)識(shí)別。"
任職要求：
1、本科以上學(xué)歷，計(jì)算機(jī)、電子或自動(dòng)化等相關(guān)專業(yè)，擁有5年以上的操作系統(tǒng)或Linux底層開發(fā)經(jīng)驗(yàn)，有l(wèi)inux內(nèi)核開發(fā)經(jīng)驗(yàn)者優(yōu)先；
2、熟悉ARM或X86一種體系架構(gòu)，熟悉處理器微架構(gòu)、緩存單元、內(nèi)存控制器、PCIE、文件系統(tǒng)、異常處理等模塊，并有相關(guān)的工作經(jīng)驗(yàn)；
3、熟練使用C/C++語(yǔ)言，對(duì)Linux底層性能優(yōu)化有深入理解，對(duì)代碼質(zhì)量有追求；
4、熟悉OS調(diào)優(yōu)方法，熟練使用各種調(diào)測(cè)工具，能根據(jù)使用場(chǎng)景進(jìn)行workload建模并能進(jìn)行系統(tǒng)調(diào)優(yōu)者優(yōu)先；
5、具有良好的團(tuán)隊(duì)協(xié)作能力和溝通能力，執(zhí)行力強(qiáng)，能推動(dòng)周邊領(lǐng)域順暢協(xié)作。