合作導(dǎo)師：顧明
院系/流動(dòng)站/專業(yè)：軟件學(xué)院
招聘崗位所屬研究所：軟件理論與系統(tǒng)研究所
擬從事的研究方向或研究項(xiàng)目：軟件理論與系統(tǒng)
擬從事研究?jī)?nèi)容或研究計(jì)劃：重點(diǎn)研究軟件系統(tǒng)建模與驗(yàn)證的理論、技術(shù)和方法，可信軟件體系結(jié)構(gòu)的設(shè)計(jì)與評(píng)價(jià)，軟件系統(tǒng)度量的理論與方法等，及包括面向領(lǐng)域的軟件系統(tǒng)建模語(yǔ)言設(shè)計(jì)，軟件驗(yàn)證、仿真和測(cè)試技術(shù)，軟件系統(tǒng)行為建模與監(jiān)測(cè)技術(shù)，軟件系統(tǒng)關(guān)系網(wǎng)構(gòu)造技術(shù)，軟件體系結(jié)構(gòu)演化技術(shù)，軟件系統(tǒng)度量技術(shù)等。
招聘要求：博士畢業(yè)，具有軟件工程、計(jì)算機(jī)科學(xué)與技術(shù)等相關(guān)學(xué)科背景。
招聘人數(shù)：5
有效期:2013年12月31日
聯(lián)系人:劉立梅 聯(lián)系電話：010-62791050 電子郵箱：liulm@tsinghua.edu.cn