黄片999www,国产免费久久精品qq久久,一级黄色a毛片,终结者2018

一、研究室概況

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

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

合作導(dǎo)師：

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

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

簡(jiǎn)介：

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

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

二、職位描述

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

三、申請(qǐng)條件

1、候選人基本條件

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

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

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

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

2、候選人附加條件

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

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

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

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

五、申請(qǐng)材料

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

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

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

六、招聘程序

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

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