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