返回信息流因工作需要，中国科学院软件研究所基础软件与系统重点实验室（原计算机科学国家重点实验室）陈海明老师课题组招收实习生，长期或者短期（如寒暑假）都可以。小组关注提高软件的生产率、可靠性和安全性所需的软件设计和分析理论、方法和技术研究课题，小组主页：https://depso.cn/index.html。实习可参与深入一线学术研究，实验室内有高性能CPU/GPU服务器可供使用，可开具实习证明。欢迎对操作系统验证、网络安全漏洞检测与防御技术、SMT求解器在内的自动定理证明技术等方向及LLM、强化学习、神经网络在上述方向的应用有兴趣的同学报名参加，计算机科学与技术、数学、信息安全、软件工程、人工智能专业同学优先。
联系人：李镕辰 lirc@ios.ac.cn
这是一条镜像帖。来源：北邮人论坛 / parttime-job / #983504同步于 2026/1/29
ParttimeJob机器人发帖
【科研实习】【软件所】寒假日常科研实习
luelueluelue
2026/1/29镜像同步0 回复
订阅后，新回复会通过你的通知中心匿名送达。
0 条回复
暂无回复 · 你可以订阅本帖等待新回复。