北京大學(xué)軟件工程中心招收實(shí)習(xí)生若干，有意者請(qǐng)發(fā)送個(gè)人簡歷到serc1727@gmail.com
以下為中心簡介
作為國家創(chuàng)新體系的重要組成部分，北京大學(xué)軟件工程國家工程研究中心（以下簡稱中心）成立于1996年，計(jì)算機(jī)軟件科學(xué)家、中國科學(xué)院院士楊芙清教授擔(dān)任首任中心主任。
中心的主要任務(wù)是形成具有自主版權(quán)的先進(jìn)軟件工程開發(fā)環(huán)境，推動(dòng)軟件產(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ái)、系統(tǒng)運(yùn)行平臺(tái)、領(lǐng)域應(yīng)用平臺(tái)等方面形成了一系列具有自主知識(shí)產(chǎn)權(quán)的關(guān)鍵技術(shù)，多次獲得國家科技進(jìn)步獎(jiǎng)和省部級(jí)科技進(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ì)、分析、測(cè)試和管理工作。隨著數(shù)字化設(shè)備大量應(yīng)用于裝備，計(jì)算機(jī)軟件的規(guī)模和重要性均呈急劇上升趨勢(shì)，軟件可靠性已成為保證裝備可靠性的重要組成部分。本小組在王立福教授的帶領(lǐng)下，主要研究國內(nèi)外軟件可靠性保障的相關(guān)理論與技術(shù)，并開發(fā)軟件可靠性保障平臺(tái)SRAP，主要包括輕量級(jí)項(xiàng)目管理工具SProject、故障樹分析工具SFTA、失效模式分析工具SFMEA、故障報(bào)告分析及糾正措施工具SFRACAS等相關(guān)工具，形成一套完整的、基于平臺(tái)的軟件可靠性生命周期管理解決方案。
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)證工具、代碼自動(dòng)生成工具等，能夠逐漸形成系統(tǒng)的方法，應(yīng)用在大型/復(fù)雜/關(guān)鍵系統(tǒng)中，保證系統(tǒng)的安全性和可靠性。
3、我們能夠提供的：
1)多勞多得，如果能積極參與到主要項(xiàng)目當(dāng)中你會(huì)獲得一份和外面公司實(shí)習(xí)相比毫不遜色的實(shí)習(xí)收入（實(shí)驗(yàn)室的同學(xué)基本都能已經(jīng)財(cái)政獨(dú)立:)）
2)能大大提升工程能力,對(duì)畢業(yè)找工作的同學(xué)很有幫助
3)良好的實(shí)驗(yàn)室氛圍，同學(xué)之間很團(tuán)結(jié)，經(jīng)常組織旅游、腐敗、籃球、羽毛球、k歌等活動(dòng)
4、招收實(shí)習(xí)生基本要求：
(1). 對(duì)小組研究項(xiàng)目具有興趣，樂于承擔(dān)相應(yīng)工作
(2). 具備較好的編程實(shí)踐能力或邏輯分析能力
(3). 具備一定的java基礎(chǔ)（非必要）
(4). 精通算法與數(shù)據(jù)結(jié)構(gòu)
有意者請(qǐng)聯(lián)系郵箱：serc1727@gmail.com，請(qǐng)聯(lián)系時(shí)好同時(shí)發(fā)送簡歷一份，多謝！
以下為中心簡介
作為國家創(chuàng)新體系的重要組成部分，北京大學(xué)軟件工程國家工程研究中心（以下簡稱中心）成立于1996年，計(jì)算機(jī)軟件科學(xué)家、中國科學(xué)院院士楊芙清教授擔(dān)任首任中心主任。
中心的主要任務(wù)是形成具有自主版權(quán)的先進(jìn)軟件工程開發(fā)環(huán)境，推動(dòng)軟件產(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ái)、系統(tǒng)運(yùn)行平臺(tái)、領(lǐng)域應(yīng)用平臺(tái)等方面形成了一系列具有自主知識(shí)產(chǎn)權(quán)的關(guān)鍵技術(shù)，多次獲得國家科技進(jìn)步獎(jiǎng)和省部級(jí)科技進(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ì)、分析、測(cè)試和管理工作。隨著數(shù)字化設(shè)備大量應(yīng)用于裝備，計(jì)算機(jī)軟件的規(guī)模和重要性均呈急劇上升趨勢(shì)，軟件可靠性已成為保證裝備可靠性的重要組成部分。本小組在王立福教授的帶領(lǐng)下，主要研究國內(nèi)外軟件可靠性保障的相關(guān)理論與技術(shù)，并開發(fā)軟件可靠性保障平臺(tái)SRAP，主要包括輕量級(jí)項(xiàng)目管理工具SProject、故障樹分析工具SFTA、失效模式分析工具SFMEA、故障報(bào)告分析及糾正措施工具SFRACAS等相關(guān)工具，形成一套完整的、基于平臺(tái)的軟件可靠性生命周期管理解決方案。
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)證工具、代碼自動(dòng)生成工具等，能夠逐漸形成系統(tǒng)的方法，應(yīng)用在大型/復(fù)雜/關(guān)鍵系統(tǒng)中，保證系統(tǒng)的安全性和可靠性。
3、我們能夠提供的：
1)多勞多得，如果能積極參與到主要項(xiàng)目當(dāng)中你會(huì)獲得一份和外面公司實(shí)習(xí)相比毫不遜色的實(shí)習(xí)收入（實(shí)驗(yàn)室的同學(xué)基本都能已經(jīng)財(cái)政獨(dú)立:)）
2)能大大提升工程能力,對(duì)畢業(yè)找工作的同學(xué)很有幫助
3)良好的實(shí)驗(yàn)室氛圍，同學(xué)之間很團(tuán)結(jié)，經(jīng)常組織旅游、腐敗、籃球、羽毛球、k歌等活動(dòng)
4、招收實(shí)習(xí)生基本要求：
(1). 對(duì)小組研究項(xiàng)目具有興趣，樂于承擔(dān)相應(yīng)工作
(2). 具備較好的編程實(shí)踐能力或邏輯分析能力
(3). 具備一定的java基礎(chǔ)（非必要）
(4). 精通算法與數(shù)據(jù)結(jié)構(gòu)
有意者請(qǐng)聯(lián)系郵箱：serc1727@gmail.com，請(qǐng)聯(lián)系時(shí)好同時(shí)發(fā)送簡歷一份，多謝！