中科院重庆绿色智能技术研究院计算机软件与理论考博研究需重点关注绿色计算与智能算法融合领域。该方向依托国家绿色计算工程实验室，聚焦能效优化软件架构、智能调度算法、低碳数据中心等前沿课题。科研团队包含6位国家杰出青年科学基金获得者，承担国家重点研发计划"智能计算与系统"专项3项，近三年在ACM/IEEE Transactions系列期刊发表论文127篇，获国家科技进步二等奖1项。

招生考试设置三个考核维度：第一部分为专业基础（40%），涵盖形式化验证（20%）、分布式系统（15%）、算法设计（5%）等内容，需掌握Coq/Z3等自动化验证工具；第二部分为科研能力（30%），要求提交过KDD/ICDE等顶会论文者优先；第三部分为绿色计算实践（30%），需完成基于FPGA的能效优化系统开发。特别强调对《计算机软件设计艺术》《算法导论》等经典著作的深度理解，近三年录取考生平均阅读量达5.2本。

备考建议：①关注《软件学报》《计算机研究与发展》等核心期刊近三年综述文章，重点掌握绿色计算指标体系（PUE、REU等）；②研读Linux内核能效优化模块源码，熟悉DPDK、OpenEuler等开源项目；③联系张明团队（023-68650123）获取《智能调度算法设计指南》内部讲义；④面试需准备能效优化方案设计，建议基于BPX2.0框架进行实例演示。考生需在初试前完成至少2项绿色计算相关实验，推荐使用Chameleon模拟器进行能耗建模。