北大软件工程国家工程研究中心实习生招聘

40280363

北大软件工程国家工程研究中心实习生招聘

北京大学软件工程国家工程研究中心招收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.精通Web框架，熟悉JSP/Servlet、JavaScript、ExtJS、Ajax、Jquery等WEB技术，熟悉spring，Struts，Struts2,Hibernate,Ibatis等主流的开源框架。
4.至少熟练使用一种数据库（Oracle、DB2、SQLServer和MySQL），拥有较好的数据库设计能力。
5.熟悉SVN、VSS、CVS、Ant、Junit等工具。
6.良好文档编写能力，具有良好的团队合作精神，能承受较强的工作压力。

并且：
1、 对小组研究项目具有兴趣，乐于承担相应工作；
2、 具有较强的团队精神；
3、 具备较好的编程实践能力或逻辑分析能力；
4、 遵守实验室相关作息时间及要求（最好能半年左右，每周3,4天或以上，并做好加班准备）。

有问题，请邮件一并咨询serc1727@gmail.com，我们会尽量及时回复~