北京大学软件工程国家工程研究中心招收研究生(研一、研二)实习生,有意者请发送个人
简历到serc1727@gmail.com
以下为中心简介
作为国家创新体系的重要组成部分,北京大学软件工程国家工程研究中心(以下简称中心)成立于1996年,著名计算机软件科学家、中国科学院院士杨8299清教授担任首任中心主任,梅宏院士担任现任主任。
中心先后承担了科技部863计划、科技部973计划、工信部核高基项目、国家发改委高技术产业化专项、教育部自然科学基金、总装备部预研项目等20余项重点研究课题,在软件开发/运行平台、领域应用平台、质量保障框架等方面形成了一系列具有自主知识产权的关键技术,多次获得国家科技进步奖和省部级科技进步奖。此外,先后承担、参与面向对象的软件开发规范、软件构件管理规范等10项国家、行业标准的制定。
目前实验室的研究方向如下:
一、软件质量保障框架
1、基于“镜像理论”的高质量软件规约与验证技术研究及工具开发
在袁崇义教授的指导下,研究一种高质量软件形规约与验证技术方法OESPA,把形式化规约与验证技术融入软件工程的各个阶段。目前阶段的主要工作有两项,一是OESPA工具集开发,包括基于Codemirror的工具框架、可视化规约工具、证明工具、代码转换/生成工具、代码验证工具等;二是通过NASA航天员出仓背包系统、飞机控制系统和汽车控制系统等案例验证和完善理论和工具。
2、软件可靠性技术研究及工具开发
在王立福教授的指导下,研究国内外软件可靠性保障的相关标准、方法和技术,并开发软件可靠性保障平台SRAP,主要包括轻量级项目管理工具SProject、故障树分析工具SFTA、失效模式分析工具SFMEA、故障报告分析及纠正措施工具SFRACAS等相关工具,形成一套完整的、基于平台的软件可靠性生命周期管理解决方案。
二、海量多结构数据处理
围绕建立基于语义的海量智能多结构数据库管理系统,开发数据采集工具、数据存储工具、实时加载与在线查询工具、分析挖掘工具等,形成对结构化、半结构化和非结构化海量数据的高效管理和智能分析能力。
我们能够提供的:
1)多劳多得,如果能积极参与到主要项目当中你会获得一份和外面公司实习相比毫不逊色的实习收入(实验室的同学基本都能已经财政独立:))
2)能大大的提升工程能力,对毕业找工作的同学很有帮助
3)良好的实验室氛围,同学之间很团结,经常组织旅游、腐败、篮球、羽毛球、k歌等活动
4、招收实习生基本要求:
(1). 对小组研究项目具有兴趣,乐于承担相应工作
(2). 具有较强的团队精神
(3). 具备较好的编程实践能力或逻辑分析能力
(4). 具备一定的C/java基础(优先)
(5). 遵守实验室相关作息时间及要求
--
FROM 124.205.76.*