国产福利酱国产一区二区|亚洲精品一区二区三区成人|9l肥熟女福利视频导航|91嫩草国产线永久在线观看|免费99在线视频播放|明明成人免费高清在线观看

職位名稱：軟件智能研究員（編譯器、計(jì)算理論、操作系統(tǒng)方向） 項(xiàng)目概述： 致力于打造新一代智能化軟件系統(tǒng)，包括面向傳統(tǒng)架構(gòu)與加速器的編譯優(yōu)化系統(tǒng)，以及基于AI的代碼/二進(jìn)制生成、程序行為理解與預(yù)測(cè)等前沿技術(shù)研究。 工作職責(zé)： 1.設(shè)計(jì)下一代編譯系統(tǒng)架構(gòu)，支持傳統(tǒng)處理器和新型加速器 2.研發(fā)基于AI的代碼生成與優(yōu)化技術(shù)，提升編譯質(zhì)量和執(zhí)行效率 3.構(gòu)建程序行為理解模型，實(shí)現(xiàn)智能化的性能預(yù)測(cè)與優(yōu)化 4.開(kāi)發(fā)代碼智能分析框架，支持運(yùn)行時(shí)行為預(yù)測(cè)與決策 5.探索AI執(zhí)行代碼等創(chuàng)新技術(shù)方向 6.參與大規(guī)模智能軟件系統(tǒng)的架構(gòu)設(shè)計(jì)與實(shí)現(xiàn) 任職要求： 【全職崗位】 ?計(jì)算機(jī)科學(xué)、軟件工程等相關(guān)專(zhuān)業(yè)碩士及以上學(xué)歷 ?扎實(shí)的編譯原理、計(jì)算機(jī)體系結(jié)構(gòu)基礎(chǔ)或計(jì)算理論（可計(jì)算性、復(fù)雜度分析等）功底 ?熟悉主流編譯框架（如LLVM/GCC），了解編譯優(yōu)化技術(shù)，或自動(dòng)定理證明系統(tǒng)（如Coq/Lean） ?熟練掌握C/C++/Python或其他通用編程語(yǔ)言 ?具備機(jī)器學(xué)習(xí)/深度學(xué)習(xí)實(shí)踐經(jīng)驗(yàn) ? 以下經(jīng)驗(yàn)者優(yōu)先： o自動(dòng)定理證明與邏輯推理 oAI代碼、二進(jìn)制生成、分析、執(zhí)行技術(shù) o基于強(qiáng)化學(xué)習(xí)的自動(dòng)定理證明或約束求解器 o有編譯器或深度學(xué)習(xí)框架開(kāi)源貢獻(xiàn)經(jīng)歷 【博士后】 ?計(jì)算機(jī)科學(xué)相關(guān)專(zhuān)業(yè)博士學(xué)位 ?在編譯優(yōu)化、AI系統(tǒng)、程序分析、計(jì)算理論等領(lǐng)域有突出研究成果 ?在頂級(jí)會(huì)議/期刊發(fā)表過(guò)相關(guān)論文 ?熟悉深度學(xué)習(xí)技術(shù)在系統(tǒng)軟件中的應(yīng)用 ?有大型工程項(xiàng)目經(jīng)驗(yàn)者優(yōu)先 我們提供： ?富有競(jìng)爭(zhēng)力的薪酬待遇和完善的福利體系 ?前沿技術(shù)研究與創(chuàng)新的機(jī)會(huì) ?清晰的職業(yè)發(fā)展路徑 ?與行業(yè)頂尖專(zhuān)家合作的平臺(tái) ?彈性工作制和開(kāi)放的團(tuán)隊(duì)氛圍