北京大学软件工程国家工程研究中心隶属于北大信科院，现招收2013年度实习学生。
有意者请发送个人简历到serc1727@gmail.com.
一、中心简介
作为国家创新体系的重要组成部分，北京大学软件工程国家工程研究中心（以下简称中心）成立于1996年，著名计算机软件科学家、中国科学院院士杨芙清教授担任首任中心主任，梅宏院士担任现任主任。
中心先后承担了科技部863计划、科技部973计划、工信部核高基项目、国家发改委产业化专项、教育部自然科学基金、总装预研项目等20余项重点研究课题，在软件开发/运行平台、领域应用平台、质量保障框架等方面形成了一系列具有自主知识产权的关键技术，多次获得国家科技进步奖和省部级科技进步奖。
二、研究方向
1、软件质量保障
①基于OE的高质量软件规约与验证技术研究及工具开发
在袁崇义教授的指导下，研究并提出了一种高质量软件规约与验证技术方法OESPA，把形式化规约与验证技术融入软件工程的各个阶段。目前工作主要有两项，一是OESPA工具集开发，包括可视化需求规约工具、证明工具、代码转换/生成工具等；二是通过航天员出舱系统、飞机控制系统等案例验证理论和工具。
②软件代码静态分析方法研究及工具开发
在王立福教授、张世琨研究员的指导下，研究并提出了一种基于定理证明的软件代码静态分析方法OECSA，分析C/C++/Java代码缺陷。目前正开展预编译阶段、语义模型转换阶段和检测阶段的算法编写和工具开发工作。
三、提供的实习条件
1、多劳多得，如果能积极参与到主要项目当中你会获得一份和外面公司实习相比毫不逊色的实习收入（什么？补助居然有K级，出色的居然还有好几K？！！）；
2、能大大的提升工程能力,对毕业找工作的同学很有帮助；
3、经常组织旅游、吃饭（什么？居然有集体金钱豹？？！！）、篮球、羽毛球、k歌等活动。
四、实习生基本要求
1、具有较强的团队精神；
2、具备一定的C/java基础（对指针有一定理解更好）；
3、研一研二没什么课，能长期并每周来实验室有保证。
详情可以qq： 610 baba 2 四六2
--
修改:hansu0804 FROM 124.205.76.*
FROM 124.205.76.*