合作導(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
更多信息請(qǐng)查看北京市事業(yè)單位招聘網(wǎng)