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