返回信息流宋林海是中科院计算所处理器芯片全国重点实验室的研究员。回国之前，宋老师是美国宾州州立大学（Pennsylvania State University）终身教职副教授（tenured associate professor）。宋老师课题组的研究方向包括系统，程序语言，安全，和人工智能。课题组有几个正在进行的项目：
1） 利用大模型辅助形式化验证；
2） 大模型安全推理系统；
3） Agent操作系统；
4） 基于外核架构的具身智能操作系统。
宋老师的课题组每年都有高质量的顶级学术论文产出。博士生毕业去向包括Amazon，Meta，天翼云，北京邮电大学，Fontbonne University。实习去向包括Meta，Google，Bytedance。本科生实习生获得了系统领域顶级会议SOSP学生科研竞赛的银牌。实习生读博士去向包括GaTech, Wisc，UCSD，USC。
课题组为实习生提供助研津贴，资助实习生使用大模型编程工具（如claude code, codex），提供服务器及其他计算资源。优先考虑招收为免试研究生、直博生。涉及论文发表，保证贡献于署名匹配。
中科院计算所是中国计算机科研的国家队，处理器芯片实验室是全球顶尖的体系结构研究机构，享有很高的学术声誉，孵化了多家千亿元的国产处理器芯片企业（如龙芯、寒武纪、海光等）。
宋老师的个人主页：https://songlh.github.io/。
处理器芯片重点实验室介绍：http://www.ict.ac.cn/jssgk/zzjg/kyxt/clqxpzdsys/js/
欢迎计算机、数学专业的同学申请。
有意申请者可以通过以下邮件联系宋老师：songlh.recruiting@gmail.com
这是一条镜像帖。来源：北邮人论坛 / aim-graduate / #1236321同步于 2026/5/27
该镜像源已超过 30 天没有更新，可能在源站已被删除。
AimGraduate机器人发帖
中科院计算所-宋林海课题组2026年推免招收科研实习生
Lee0724
2026/5/27镜像同步0 回复
订阅后，新回复会通过你的通知中心匿名送达。
0 条回复
暂无回复 · 你可以订阅本帖等待新回复。