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

項目概述：
致力于打造新一代智能化軟件系統(tǒng)，包括面向傳統(tǒng)架構與加速器的編譯優(yōu)化系統(tǒng)，以及基于AI的代碼/二進制生成、程序行為理解與預測等前沿技術研究。
工作職責：
1. 設計下一代編譯系統(tǒng)架構，支持傳統(tǒng)處理器和新型加速器
2. 研發(fā)基于AI的代碼生成與優(yōu)化技術，提升編譯質(zhì)量和執(zhí)行效率
3. 構建程序行為理解模型，實現(xiàn)智能化的性能預測與優(yōu)化
4. 開發(fā)代碼智能分析框架，支持運行時行為預測與決策
5. 探索AI執(zhí)行代碼等創(chuàng)新技術方向
6. 參與大規(guī)模智能軟件系統(tǒng)的架構設計與實現(xiàn)
任職要求：
【全職崗位】
● 計算機科學、軟件工程等相關專業(yè)碩士及以上學歷
● 扎實的編譯原理、計算機體系結構基礎或計算理論（可計算性、復雜度分析等）功底
● 熟悉主流編譯框架（如LLVM/GCC），了解編譯優(yōu)化技術，或自動定理證明系統(tǒng)（如Coq/Lean）
● 熟練掌握C/C++/Python或其他通用編程語言
● 具備機器學習/深度學習實踐經(jīng)驗
● 以下經(jīng)驗者優(yōu)先：
○ 自動定理證明與邏輯推理
○ AI代碼、二進制生成、分析、執(zhí)行技術
○ 基于強化學習的自動定理證明或約束求解器
○ 有編譯器或深度學習框架開源貢獻經(jīng)歷