北京大学！！软工国家工程研究中心！！招收实习生若干

40280363

北京大学软件工程国家工程研究中心招收实习生若干，有意者请发送个人简历到serc1727@gmail.com

以下为中心简介

作为国家创新体系的重要组成部分，北京大学软件工程国家工程研究中心（以下简称中心）成立于1996年，著名计算机软件科学家、中国科学院院士杨芙清教授担任首任中心主任。

中心的主要任务是形成具有自主版权的先进软件工程开发环境，推动软件产业的形成和发展。面向国家和领域信息化建设需要，推广软件工程技术，承担信息化建设工程。

按照产学研相结合的发展模式，中心与公司先后承担了科技部863计划、科技部973计划、工信部核高基项目、国家发改委高技术产业化专项、教育部自然科学基金、总装备部预研项目等近20项重点研究课题，在软件开发平台、系统运行平台、领域应用平台等方面形成了一系列具有自主知识产权的关键技术，多次获得国家科技进步奖和省部级科技进步奖。此外，先后承担、参与面向对象的软件开发规范、软件构件管理规范等10项国家、行业标准的制定。

目前我组的研究方向如下：

1、软件可靠性技术研究与工具开发

软件可靠性工程是为了满足软件的可靠性要求而进行的一系列设计、分析、测试和管理工作。随着数字化设备大量应用于装备，计算机软件的规模和重要性均呈急剧上升趋势，软件可靠性已成为保证装备可靠性的重要组成部分。本小组在王立福教授的带领下，主要研究国内外软件可靠性保障的相关理论与技术，并开发软件可靠性保障平台SRAP

，主要包括轻量级项目管理工具SProject、故障树分析工具SFTA、失效模式分析工具SFMEA、故障报告分析及纠正措施工具SFRACAS等相关工具，形成一套完整的、基于平台的软件可靠性生命周期管理解决方案。

2、基于“镜面理论”的软件正确性验证技术研究与工具开发

本小组在袁崇义教授的带领下正在研究一种新的软件正确性验证技术方法-镜像理论，本理论具有坚实的数学理论基础，能够把软件正确性验证技术方法融入软件开发的各个阶段。小组目前在NASA形式化实际案例的研究中丰富和完善镜像理论表达能力。在理论研究的同时，小组着手开发相关的支持工具，如推理验证工具、代码自动生成工具等，能够逐渐形成系统的方法，应用在大型/复杂/关键系统中，保证系统的安全性和可靠性。

3、我们能够提供的：

1)多劳多得，如果能积极参与到主要项目当中你会获得一份和外面公司实习相比毫不逊色的实习收入（实验室的同学基本都能已经财政独立:)）

2)能大大提升工程能力,对毕业找工作的同学很有帮助

3)良好的实验室氛围，同学之间很团结，经常组织旅游、腐败、篮球、羽毛球、k歌等活动

4、招收实习生基本要求：

(1). 对小组研究项目具有兴趣，乐于承担相应工作

(2). 具备较好的编程实践能力或逻辑分析能力

(3). 具备一定的java基础（优先）

(4). 精通算法与数据结构

(5). 遵守实验室相关作息时间及要求

(6). 每周至少四天，至少半年

   有意者请联系邮箱：serc1727@gmail.com，请联系时最好同时发送简历一份，并告知时间安排，多谢！

以下是我个人对中心的感慨。我自从过来这边，感受到这里的环境和谐而美好，不仅师生之间关系融洽，而且学到很多不仅仅是专业的知识。况且，这里有非常优厚的待遇，老师辛苦我们，经常带我们吃玩，还主动带我们运动、活动。来到这里我真的感到非常幸运。所以殷切的推荐大家过来，共同奋斗，共同努力！