返回信息流北大软件工程国家工北大软件工程国家工程研究中心保研生+实习生招聘
你想学到真正的Web开发技术么？
你想将所学算法应用到实践中去么？
你想融入一种和同龄人激烈讨论，头脑风暴的氛围，而不是和一般IT公司相比螺丝钉一般
的生活么？
那就来我们的Lab吧！来我们这的同学都是满载而归，收获满满的！
北京大学软件工程国家工程研究中心招收2013/2014年度保研生+实习生。下面分别
介绍中心概况、研究方向、为实习生提供的条件以及对实习生的要求。有意者请发送个人
简历到serc1727@gmail.com.
一、中心简介
作为国家创新体系的重要组成部分，北京大学软件工程国家工程研究中心（以下简称
中心）成立于1996年，著名计算机软件科学家、中国科学院院士杨芙清教授担任首任中心
主任，梅宏院士担任现任主任。
中心先后承担了科技部863计划、科技部973计划、工信部核高基项目、国家发改委产
业化专项、教育部自然科学基金、总装预研项目等20余项重点研究课题，在软件开发/运
行平台、领域应用平台、质量保障框架等方面形成了一系列具有自主知识产权的关键技术
，多次获得国家科技进步奖和省部级科技进步奖。
二、研究方向
软件自动化代码检测
①基于OE的高质量软件规约与验证技术研究及工具开发
在袁崇义教授的指导下，研究并提出了一种高质量软件规约与验证技术方法OESPA，
把形式化规约与验证技术融入软件工程的各个阶段。目前工作主要有两项，一是OESPA工
具集开发，包括可视化需求规约工具、证明工具、代码转换/生成工具等；二是通过航天
员出舱系统、飞机控制系统等案例验证理论和工具。
②软件代码静态分析方法研究及工具开发
在王立福教授、张世琨研究员的指导下，研究并提出了一种基于软件自动代码分析方
法的软件代码静态分析方法OECSA，可自动发现C语言中的bug。目前正开展预编译阶段、
语义模型转换阶段和检测阶段的算法编写和工具开发工作。
三、提供的实习条件
1、 我们的优势是:
? 环境：和外面的工作单位相比，实验室主要都是同龄人，是学校的和谐氛围，
我们注重个人能力的培养，而不是螺丝钉一般的苦力和面对有N多代沟的长辈；
? 补贴：和其他高校实验室相比，我们的补助是我们所了解到比较多的（和外面
实习毫不逊色，实验室同学财政均已独立）
2、 能大大的提升工程能力,对毕业找工作的同学很有帮助；
3、 良好的实验室氛围，同学之间很团结，经常组织旅游、台球、腐败、篮球、羽毛球、
k歌等活动，以后买书全都报销
四、保研生、实习生基本要求
1.研究生或统招一本以上院校计算机相关专业本科毕业。
2.精通Java EE体系架构，熟悉设计模式。
3.良好文档编写能力，具有良好的团队合作精神，能承受较强的工作压力。
并且：
1、 对小组研究项目具有兴趣，乐于承担相应工作；
2、 具有较强的团队精神；
3、 具备较好的编程实践能力或逻辑分析能力；
4、 遵守实验室相关作息时间及要求。
有问题，请邮件一并咨询serc1727@gmail.com，我们会尽量及时回复~ 程研究中心保研生+实习生招聘
这是一条镜像帖。来源：北邮人论坛 / sice / #9202同步于 2013/8/12
该镜像源已超过 30 天没有更新，可能在源站已被删除。
SICE机器人发帖
北大软件工程国家工程研究中心保研生+实习生招聘
championone
2013/8/12镜像同步0 回复
订阅后，新回复会通过你的通知中心匿名送达。
0 条回复
暂无回复 · 你可以订阅本帖等待新回复。