一、研究室概況

所屬院系：北京大學信息科學技術學院計算機科學技術系

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

合作導師：

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

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

簡介：

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

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

二、職位描述

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

三、申請條件

1、候選人基本條件

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

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

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

4）博士后聘期為2-3年，達到學校學院考核標準，可申請出站。

2、候選人附加條件

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

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

四、年薪標準

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

五、申請材料

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

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

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

六、招聘程序

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

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