项目概述：

致力于打造新一代智能化软件系统，包括面向传统架构与加速器的编译优化系统，以及基于AI的代码/二进制生成、程序行为理解与预测等前沿技术研究。

工作职责：

1. 设计下一代编译系统架构，支持传统处理器和新型加速器

2. 研发基于AI的代码生成与优化技术，提升编译质量和执行效率

3. 构建程序行为理解模型，实现智能化的性能预测与优化

4. 开发代码智能分析框架，支持运行时行为预测与决策

5. 探索AI执行代码等创新技术方向

6. 参与大规模智能软件系统的架构设计与实现

任职要求：

【全职岗位】

● 计算机科学、软件工程等相关专业硕士及以上学历

● 扎实的编译原理、计算机体系结构基础或计算理论（可计算性、复杂度分析等）功底

● 熟悉主流编译框架（如LLVM/GCC），了解编译优化技术，或自动定理证明系统（如Coq/Lean）

● 熟练掌握C/C++/Python或其他通用编程语言

● 具备机器学习/深度学习实践经验

● 以下经验者优先：

○ 自动定理证明与逻辑推理

○ AI代码、二进制生成、分析、执行技术

○ 基于强化学习的自动定理证明或约束求解器

○ 有编译器或深度学习框架开源贡献经历