一、研究室概況

所屬院系：北京大學(xué)信息科學(xué)技術(shù)學(xué)院計算機(jī)科學(xué)技術(shù)系

研究專業(yè)/方向：程序設(shè)計語言/程序分析與程序綜合/軟件開發(fā)環(huán)境

合作導(dǎo)師：

胡振江教授（計算機(jī)系主任、歐洲科學(xué)院院士、ieee fellow、日本工學(xué)會會士）；

熊英飛研究員（優(yōu)青、973青年首席科學(xué)家、國家技術(shù)發(fā)明一等獎獲得者）。

簡介：

世界離不開軟件，而軟件的開發(fā)離不開程序設(shè)計語言。“軟件定義一切”本質(zhì)上是可編程思想擴(kuò)張到整個社會和物理世界，是一種以軟件實現(xiàn)分層抽象的方式來駕馭復(fù)雜性的方法論。隨著人機(jī)物融合的發(fā)展，計算的泛在化成為必然，程序設(shè)計語言向下需要對物理世界進(jìn)行抽象并提供處理物理世界的接口，向上需要能夠處理不同場景的多范式的應(yīng)用編程。泛在計算中不斷涌現(xiàn)出的新的計算模式、新的計算平臺和新的應(yīng)用問題給程序設(shè)計語言的定義和實現(xiàn)帶來了新的挑戰(zhàn)。

程序設(shè)計語言研究室是2019年4月由北京大學(xué)胡振江教授等發(fā)起成立。胡振江教授、熊英飛研究員、陳泓婕副教授團(tuán)隊長期從事程序設(shè)計語言和軟件科學(xué)與工程的研究，程序設(shè)計語言研究室注重基礎(chǔ)研究，研究程序設(shè)計語言的設(shè)計、實現(xiàn)、驗證，及其支撐環(huán)境，在自由的氛圍中挑戰(zhàn)世界難題，創(chuàng)造理論和構(gòu)建工具。

二、職位描述

本輪招聘擬招募博士后2~3名，主要研究內(nèi)容是程序開發(fā)方法，包括函數(shù)式程序設(shè)計語言理論與實現(xiàn)、面向領(lǐng)域的模型驅(qū)動與雙向變換語言、代碼自動生成、軟件測試與缺陷修復(fù)等，參與產(chǎn)學(xué)研合作、國際化合作。具體研究方向和內(nèi)容，主要依托國家重點研發(fā)計劃項目和企業(yè)合作，但不局限于這些項目。

三、申請條件

1、候選人基本條件

1）品學(xué)兼優(yōu)、積極樂觀，具有良好的溝通和組織協(xié)調(diào)能力；

2）具有較強的理論基礎(chǔ)和獨立科研能力；

3）能夠保證錄用后全職從事博士后研究，不掛職、兼職；

4）博士后聘期為2-3年，達(dá)到學(xué)校學(xué)院考核標(biāo)準(zhǔn)，可申請出站。

2、候選人附加條件

1）年齡不超過35歲，在海內(nèi)外知名高校獲得博士學(xué)位不超過三年或?qū)⒂?020年7月1日前獲得博士學(xué)位者；

2）以第一作者/通訊作者身份在頂級會議或期刊發(fā)表學(xué)術(shù)論文1篇以上；

四、年薪標(biāo)準(zhǔn)

工資、福利按國家博士后相關(guān)規(guī)定及北京大學(xué)辦法執(zhí)行，視自身條件可考慮申請博雅博士后或“博新計劃”等。研究所另外提供有競爭力的項目津貼和績效，具體待遇面議。

五、申請材料

1、個人詳細(xì)簡歷（包括自大學(xué)開始至申請時間學(xué)習(xí)、工作簡歷、負(fù)責(zé)/參加的科研項目、發(fā)表的論文、申請/獲得的專利等）；

2、申請信（描述你為何申請博士后，有何想法和規(guī)劃）；

3、2篇代表作及其他能力證明文件。

六、招聘程序

1、發(fā)送電子郵件至：，郵件主題請注明“應(yīng)聘博士后-姓名-可到崗時間-高校人才網(wǎng)”。

2、初選通過后，一周內(nèi)郵件通知候選人面試；申請材料恕不退回。