|
登录注册 |
☦ 北京工业大学论坛│北京工业大学bbs│平乐园bbs > 求职招聘 > 浏览当前帖子 | 手机版 - 认证发帖 - 隐藏左侧栏 |
北京大学软件工程国家工程研究中心招聘实习生 | |
【返回本版】 【发表帖子】 【回复帖子】 | 浏览量 547 回帖数 3 |
serc1727 等级 弦 楼主 发表于 2013/7/18 16:59:08 编 辑 |
||
北大软件工程国家工程研究中心实习生招聘 你想学到真正的Web开发技术么? 你想将所学算法应用到实践中去么? 你想融入一种和同龄人激烈讨论,头脑风暴的氛围,而不是和一般IT公司相比螺丝钉一般的生活么? 你想享受北大实验室实习生最高补贴么? 那就来我们的Lab吧!来我们这的同学都是满载而归,收获满满的! 北京大学软件工程国家工程研究中心招收2013/2014年度实习生。下面分别 介绍中心概况、研究方向、为实习生提供的条件以及对实习生的要求。有意者请发送个人简历到serc1727@sina.cn. 一、中心简介 作为国家创新体系的重要组成部分,北京大学软件工程国家工程研究中心(以下简称中心)成立于1996年,著名计算机软件科学家、中国科学院院士杨芙清教授担任首任中心主任,梅宏院士担任现任主任。 中心先后承担了科技部863计划、科技部973计划、工信部核高基项目、国家发改委产业化专项、教育部自然科学基金、总装预研项目等20余项重点研究课题,在软件开发/运行平台、领域应用平台、质量保障框架等方面形成了一系列具有自主知识产权的关键技术,多次获得国家科技进步奖和省部级科技进步奖。 二、研究方向 软件自动化代码检测 ① 基于OE的高质量软件规约与验证技术研究及工具开发 在袁崇义教授的指导下,研究并提出了一种高质量软件规约与验证技术方法OESPA,把形式化规约与验证技术融入软件工程的各个阶段。目前工作主要有两项,一是OESPA工具集开发,包括可视化需求规约工具、证明工具、代码转换/生成工具等;二是通过航天员出舱系统、飞机控制系统等案例验证理论和工具。 ② 软件代码静态分析方法研究及工具开发 在王立福教授、张世琨研究员的指导下,研究并提出了一种基于软件自动代码分析方法的软件代码静态分析方法OECSA,可自动发现C语言中的bug。目前正开展预编译阶段、语义模型转换阶段和检测阶段的算法编写和工具开发工作。 三、 提供的实习条件 1. 我们的优势是:  环境:和外面的工作单位相比,实验室主要都是同龄人,是学校的和谐氛围,我们注重个人能力的培养,而不是螺丝钉一般的苦力和面对有N多代沟的长辈;  补贴:和□□高校实验室相比,我们的补助是我们所了解到最多的没有之一的(和外面实习相比毫不逊色)。 2. 能大大地提升技术能力以及工程管理能力,对将来毕业找工作很有帮助。 3. 良好的实验室氛围,同学之间很团结,经常组织旅游、台球、腐败、篮球、羽毛球、k歌等活动。 四、实习生基本要求 1.研究生或统招一本以上院校计算机相关专业本科毕业。 2.熟悉Java EE体系架构,熟悉设计模式,能够熟练使用java编码。 3.熟悉Web框架,至少熟悉JSP/Servlet、JavaScript、ExtJS、Ajax、Jquery等WEB技术中的一种,了解SSH等主流框架。 4.至少熟练使用一种数据库(Oracle、DB2、SQLServer或MySQL),拥有较好的数据库设计能力。 5.熟悉SVN、Junit等工具。 6.良好文档编写能力,具有良好的团队合作精神,能承受较强的工作压力。 并且: 1. 对小组研究项目具有兴趣,乐于承担相应工作; 2. 具有较强的团队精神; 3. 具备较好的编程实践能力或逻辑分析能力; 4. 遵守实验室相关作息时间及要求。 有兴趣的同学,请邮件一并咨询serc1727@sina.cn,我们会及时回复! |
serc1727 等级 弦 2 楼 发表于 2013/7/23 16:53:45 编 辑 |
||
欢迎大家加入 |
serc1727 等级 弦 3 楼 发表于 2013/7/23 16:54:03 编 辑 |
||
欢迎大家加入 |
serc1727 等级 弦 4 楼 发表于 2013/7/25 11:44:50 编 辑 |
||
我们每周都有培训和讨论,对个人的技术和管理能力的提升有很大的帮助 |
1 |
论坛帮助 会员认证删帖申请 联系我们 |