【求置顶】北大软件工程国家工程研究中心招收

显示全部楼层 · 2021-1-29 01:24:08

北京大学软件工程国家工程研究中心招收大三实习生，有意者请发送个人简历到[email protected]
以下为中心简介作为国家创新体系的重要组成部分，北京大学软件工程国家工程研究中心（以下简称中心）成立于1996年，著名计算机软件科学家、中国科学院院士杨芙清教授担任首任中心主任，梅宏院士担任现任主任。
中心的主要任务是形成具有自主版权的先进软件工程开发环境，推动软件产业的形成和发展。面向国家和领域信息化建设需要，推广软件工程技术，承担信息化建设工程。
按照产学研相结合的发展模式，中心先后承担了科技部863计划、科技部973计划、工信部核高基项目、国家发改委高技术产业化专项、教育部自然科学基金、总装备部预研项目等近20余项重点研究课题，在软件开发平台、系统运行平台、领域应用平台、质量保障框架等方面形成了一系列具有自主知识产权的关键技术，多次获得国家科技进步奖和省部级科技进步奖。此外，先后承担、参与面向对象的软件开发规范、软件构件管理规范等10项国家、行业标准的制定。
目前我组的研究方向如下：
1、基于“镜面理论”的软件形式化规约与验证技术研究及工具开发本小组在袁崇义教授的带领下正在研究一种软件形式化规约与验证技术方法-镜像理论，本理论具有坚实的数学理论基础，能够把软件正确性验证技术方法融入软件开发的各个阶段。小组目前在NASA形式化实际案例的研究中丰富和完善镜像理论表达能力。在理论研究的同时，小组着手开发相关的支持工具，如推理验证工具、代码自动生成工具、静态代码分析工具等，能够逐渐形成系统的方法，应用在大型/复杂/关键系统中，保证系统的安全性和可靠性。2、协同设计技术协同设计旨在计算机网络技术、通信技术和数据库技术的支持下，组织多个学科技术人员跨越地域和时间的限制，同时参与设计，协商和探讨，实现产品的协同设计与开发。主要研究内容包括：基于版本控制和参数树的复杂设计参数管理技术，实现参数分解跟踪与任务之间动态参数关联和转换；基于浏览器的在线多级流程分解建模和协同工作的工作流程管理技术；支持流程的历史追溯与分析，包括流程中子流程、任务、参数等状态；采用多种分析工具封装方法，快速表达分析流程中工具；参数驱动的设计流程的固化与知识管理。3、软件可靠性技术研究与工具开发软件可靠性工程是为了满足软件的可靠性要求而进行的一系列设计、分析、测试和管理工作。随着数字化设备大量应用于装备，计算机软件的规模和重要性均呈急剧上升趋势，软件可靠性已成为保证装备可靠性的重要组成部分。本小组在王立福教授的带领下，主要研究国内外软件可靠性保障的相关理论与技术，并开发软件可靠性保障平台SRAP，主要包括轻量级项目管理工具SProject、故障树分析工具SFTA、失效模式分析工具SFMEA、故障报告分析及纠正措施工具SFRACAS等相关工具，形成一套完整的、基于平台的软件可靠性生命周期管理解决方案。
我们能够提供的：1)多劳多得，如果能积极参与到主要项目当中你会获得一份和外面公司实习相比毫不逊色的实习收入（实验室的同学基本都能已经财政独立:)）2)能大大的提升工程能力,对毕业找工作的同学很有帮助3)良好的实验室氛围，同学之间很团结，经常组织旅游、腐败、篮球、羽毛球、k歌等活动
4、招收实习生基本要求：(1).对小组研究项目具有兴趣，乐于承担相应工作(2).具有较强的团队精神(3).具备较好的编程实践能力或逻辑分析能力(4).具备一定的java基础（优先）(5).遵守实验室相关作息时间及要求