|
北京大學(xué)軟件工程國家工程研究中心招收實(shí)習(xí)生若干，有意者請發(fā)送個(gè)人簡歷到serc1727@gmail.com
以下為中心簡介 作為國家創(chuàng)新體系的重要組成部分，北京大學(xué)軟件工程國家工程研究中心（以下簡稱中心）成立于1996年，著名計(jì)算機(jī)軟件科學(xué)家、中國科學(xué)院院士楊芙清教授擔(dān)任首任中心主任。 中心的主要任務(wù)是形成具有自主版權(quán)的先進(jìn)軟件工程開發(fā)環(huán)境，推動軟件產(chǎn)業(yè)的形成和發(fā)展。面向國家和領(lǐng)域信息化建設(shè)需要，推廣軟件工程技術(shù)，承擔(dān)信息化建設(shè)工程。 按照產(chǎn)學(xué)研相結(jié)合的發(fā)展模式，中心與公司先后承擔(dān)了科技部863計(jì)劃、科技部973計(jì)劃、工信部核高基項(xiàng)目、國家發(fā)改委高技術(shù)產(chǎn)業(yè)化專項(xiàng)、教育部自然科學(xué)基金、總裝備部預(yù)研項(xiàng)目等近20項(xiàng)重點(diǎn)研究課題，在軟件開發(fā)平臺、系統(tǒng)運(yùn)行平臺、領(lǐng)域應(yīng)用平臺等方面形成了一系列具有自主知識產(chǎn)權(quán)的關(guān)鍵技術(shù)，多次獲得國家科技進(jìn)步獎(jiǎng)和省部級科技進(jìn)步獎(jiǎng)。此外，先后承擔(dān)、參與面向?qū)ο蟮能浖_發(fā)規(guī)范、軟件構(gòu)件管理規(guī)范等10項(xiàng)國家、行業(yè)標(biāo)準(zhǔn)的制定。 目前我組的研究方向如下： 1、軟件可靠性技術(shù)研究與工具開發(fā) 軟件可靠性工程是為了滿足軟件的可靠性要求而進(jìn)行的一系列設(shè)計(jì)、分析、測試和管理工作。隨著數(shù)字化設(shè)備大量應(yīng)用于裝備，計(jì)算機(jī)軟件的規(guī)模和重要性均呈急劇上升趨勢，軟件可靠性已成為保證裝備可靠性的重要組成部分。本小組在王立福教授的帶領(lǐng)下，主要研究國內(nèi)外軟件可靠性保障的相關(guān)理論與技術(shù)，并開發(fā)軟件可靠性保障平臺SRAP
，主要包括輕量級項(xiàng)目管理工具SProject、故障樹分析工具SFTA、失效模式分析工具SFMEA、故障報(bào)告分析及糾正措施工具SFRACAS等相關(guān)工具，形成一套完整的、基于平臺的軟件可靠性生命周期管理解決方案。 2、基于“鏡面理論”的軟件正確性驗(yàn)證技術(shù)研究與工具開發(fā) 本小組在袁崇義教授的帶領(lǐng)下正在研究一種新的軟件正確性驗(yàn)證技術(shù)方法-鏡像理論，本理論具有堅(jiān)實(shí)的數(shù)學(xué)理論基礎(chǔ)，能夠把軟件正確性驗(yàn)證技術(shù)方法融入軟件開發(fā)的各個(gè)階段。小組目前在NASA形式化實(shí)際案例的研究中豐富和完善鏡像理論表達(dá)能力。在理論研究的同時(shí)，小組著手開發(fā)相關(guān)的支持工具，如推理驗(yàn)證工具、代碼自動生成工具等，能夠逐漸形成系統(tǒng)的方法，應(yīng)用在大型/復(fù)雜/關(guān)鍵系統(tǒng)中，保證系統(tǒng)的安全性和可靠性。 3、海量多結(jié)構(gòu)數(shù)據(jù)處理項(xiàng)目（包括數(shù)據(jù)集成，多結(jié)構(gòu)化數(shù)據(jù)管理系統(tǒng)及其應(yīng)用研究與開發(fā)），主要研發(fā)內(nèi)容為海量關(guān)系數(shù)據(jù)、 半結(jié)構(gòu)化數(shù)據(jù)、非結(jié)構(gòu)數(shù)據(jù)等多種類型數(shù)據(jù)的融合、集成與提�。欢嘟Y(jié)構(gòu)化數(shù)據(jù)倉庫設(shè)計(jì)與實(shí)現(xiàn), 以及多結(jié)構(gòu)數(shù)據(jù)挖掘等方面的底層系統(tǒng)開發(fā)與應(yīng)用開發(fā)；數(shù)據(jù)倉庫展示；基于Hadoop的并行數(shù)據(jù)集成等 3、我們能夠提供的： 1)多勞多得，如果能積極參與到主要項(xiàng)目當(dāng)中你會獲得一份和外面公司實(shí)習(xí)相比毫不遜色的實(shí)習(xí)收入（實(shí)驗(yàn)室的同學(xué)基本都能已經(jīng)財(cái)政獨(dú)立:)） 2)能大大大大大大的提升工程能力,對畢業(yè)找工作的同學(xué)很有幫助 3)良好的實(shí)驗(yàn)室氛圍，同學(xué)之間很團(tuán)結(jié)，經(jīng)常組織旅游、腐敗、籃球、羽毛球、k歌等活動 4、招收實(shí)習(xí)生基本要求： (1). 對小組研究項(xiàng)目具有興趣，樂于承擔(dān)相應(yīng)工作 (2). 具備較好的編程實(shí)踐能力或邏輯分析能力 (3). 具備一定的java基礎(chǔ)（優(yōu)先） (5). 遵守實(shí)驗(yàn)室相關(guān)作息時(shí)間及要求 (6). 每周至少四天，至少半年 (7) 本專業(yè)本科生(本實(shí)驗(yàn)室暫不提供保研名額)，在讀研究生均可；也可以簽工作 有意者請聯(lián)系郵箱：serc1727@gmail.com，請聯(lián)系時(shí)最好同時(shí)發(fā)送簡歷一份，并告知時(shí)間安排，多謝！ 以下是我個(gè)人對中心的感慨。我自從過來這邊，感受到這里的環(huán)境和諧而美好，不僅師生之間關(guān)系融洽，而且學(xué)到很多不僅僅是專業(yè)的知識。況且，這里有非常優(yōu)厚的待遇，老師辛苦我們，經(jīng)常帶我們吃玩，還主動帶我們運(yùn)動、活動。來到這里我真的感到非常幸運(yùn)。所以殷切的推薦大家過來，共同奮斗，共同努力！ | 
發(fā)表于 2012-4-20 13:02:41
收藏