国产中文无码av每日更新在线观看, 亚洲天堂中文字幕一区二区三区免费, 国产口爆吞精在线观视频-黄色国产, 92福利-国内精品久久久久久99,亚洲成AV人A片不卡无码,浪潮AV无码专区,老熟女败火白浆,中文字幕日产av,色情日本免费看大片

職位名稱：軟件智能研究員（編譯器、計(jì)算理論、操作系統(tǒng)方向）
項(xiàng)目概述：
致力于打造新一代智能化軟件系統(tǒng)，包括面向傳統(tǒng)架構(gòu)與加速器的編譯優(yōu)化系統(tǒng)，以及基于AI的代碼/二進(jìn)制生成、程序行為理解與預(yù)測等前沿技術(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ù)測與優(yōu)化
4.開發(fā)代碼智能分析框架，支持運(yùn)行時(shí)行為預(yù)測與決策
5.探索AI執(zhí)行代碼等創(chuàng)新技術(shù)方向
6.參與大規(guī)模智能軟件系統(tǒng)的架構(gòu)設(shè)計(jì)與實(shí)現(xiàn)
任職要求：
【全職崗位】
?計(jì)算機(jī)科學(xué)、軟件工程等相關(guā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或其他通用編程語言
?具備機(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í)框架開源貢獻(xiàn)經(jīng)歷
【博士后】
?計(jì)算機(jī)科學(xué)相關(guān)專業(yè)博士學(xué)位
?在編譯優(yōu)化、AI系統(tǒng)、程序分析、計(jì)算理論等領(lǐng)域有突出研究成果
?在頂級會(huì)議/期刊發(fā)表過相關(guān)論文
?熟悉深度學(xué)習(xí)技術(shù)在系統(tǒng)軟件中的應(yīng)用
?有大型工程項(xiàng)目經(jīng)驗(yàn)者優(yōu)先
我們提供：
?富有競爭力的薪酬待遇和完善的福利體系
?前沿技術(shù)研究與創(chuàng)新的機(jī)會(huì)
?清晰的職業(yè)發(fā)展路徑
?與行業(yè)頂尖專家合作的平臺
?彈性工作制和開放的團(tuán)隊(duì)氛圍