一、研究室概況
所屬院系：北京大學(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)容，主要依托國家重點(diǎn)研發(fā)計劃項目和企業(yè)合作，但不局限于這些項目。
三、申請條件
1、候選人基本條件
1）品學(xué)兼優(yōu)、積極樂觀，具有良好的溝通和組織協(xié)調(diào)能力；
2）具有較強(qiáng)的理論基礎(chǔ)和獨(dú)立科研能力；
3）能夠保證錄用后全職從事博士后研究，不掛職、兼職；
4）博士后聘期為2-3年，達(dá)到學(xué)校學(xué)院考核標(biāo)準(zhǔn)，可申請出站。
2、候選人附加條件
1）年齡不超過35歲，在海內(nèi)外知名高校獲得博士學(xué)位不超過三年或?qū)⒂?/span>2020年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ā)送電子郵件至：wangjianjia@pku.edu.cn，郵件主題請注明“應(yīng)聘博士后-姓名-可到崗時間 ”。
2、初選通過后，一周內(nèi)郵件通知候選人面試；申請材料恕不退回。
為防止簡歷投遞丟失請抄送一份至：boshijob@126.com（郵件標(biāo)題格式：應(yīng)聘職位名稱+姓名+學(xué)歷+專業(yè)+中國博士人才網(wǎng)）
中國-博士人才網(wǎng)發(fā)布
聲明提示：凡本網(wǎng)注明“來源：XXX”的文/圖等稿件，本網(wǎng)轉(zhuǎn)載出于傳遞更多信息及方便產(chǎn)業(yè)探討之目的，并不意味著本站贊同其觀點(diǎn)或證實其內(nèi)容的真實性，文章內(nèi)容僅供參考。
