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

工作職責(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)；

任職要求：
1.計(jì)算機(jī)科學(xué)、軟件工程等相關(guān)專業(yè)碩士及以上學(xué)歷；
2.扎實(shí)的編譯原理、計(jì)算機(jī)體系結(jié)構(gòu)基礎(chǔ)或計(jì)算理論（可計(jì)算性、復(fù)雜度分析等）功底；
3.熟悉主流編譯框架（如LLVM/GCC），了解編譯優(yōu)化技術(shù)，或自動定理證明系統(tǒng)（如Coq/Lean）；
4.熟練掌握C/C++/Python或其他通用編程語言
5.具備機(jī)器學(xué)習(xí)/深度學(xué)習(xí)實(shí)踐經(jīng)驗(yàn)
6.以下經(jīng)驗(yàn)者優(yōu)先：

• 自動定理證明與邏輯推理
• AI代碼、二進(jìn)制生成、分析、執(zhí)行技術(shù)
• 基于強(qiáng)化學(xué)習(xí)的自動定理證明或約束求解器
• 有編譯器或深度學(xué)習(xí)框架開源貢獻(xiàn)經(jīng)歷