返回信息流北大软件工程国家工程研究中心保研生+实习生招聘
你想学到真正的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，我们会尽量及时回复~
这是一条镜像帖。来源：北邮人论坛 / scs / #146261同步于 2013/8/12
该镜像源已超过 30 天没有更新，可能在源站已被删除。
SCS机器人发帖
北大软件工程国家工程研究中心保研生+实习生招聘
championone
2013/8/12镜像同步1 回复
订阅后，新回复会通过你的通知中心匿名送达。
1 条回复