軟件所2021年博士后招收計劃
文章來源: | 發布時間:2021-03-11 | 【打印】 【關閉】
中國科學院軟件研究所(以下簡稱“軟件所”)成立于1985年,是一所致力于計算機科學理論和軟件高新技術的研究與發展的綜合性基地型研究所。1991年經國家批準開始招收博士后研究人員(以下簡稱“博士后”),現有計算機科學與技術、軟件工程兩個一級學科博士后科研工作流動站。根據工作需要,現面向海內外公開招收博士后研究人員。具體招收計劃如下:
一、軟件工程博士后流動站 |
||||
序號 |
合作導師 |
研究方向或主要研究內容 |
招收人數 |
聯系人郵件地址 |
1 |
王宏安 |
人機交互、實時智能 |
1 |
Hongan@iscas.ac.cn |
2 |
田 豐 |
人機交互 |
1 |
Tianfeng@iscas.ac.cn |
3 |
王 青 |
智能軟件工程、軟件眾包服務 |
1 |
dandan@iscas.ac.cn |
4 |
張鳳軍 |
區塊鏈、時空數據分析與可視化 |
2 |
fengjun@iscas.ac.cn |
5 |
王永吉 |
人工智能、大數據分析技術、智能制造、醫療影像處理、自然語言處理 |
1 |
ywang@itechs.iscas.ac.cn |
6 |
蔡 彥 |
軟件測試、軟件安全、AI軟件測試 |
1-2 |
yancai@ios.ac.cn |
7 |
魏 峻 |
面向泛在系統的軟件定義方法:研究面向泛在系統的軟件定義智能化編程方法、泛在智能系統的分析測試方法、泛在系統軟件的按需構造與軟硬協同優化,為人機物融合的泛在計算場景提供軟件定義理論與技術等基礎支撐,研發系統軟件與工具。 |
2 |
yedan@otcaix.iscas.ac.cn |
8 |
趙 琛 |
智能基礎理論:研究智能的可解釋、可計算、可進化和人機融合問題 |
2 |
libo@iscas.ac.cn |
9 |
武延軍 |
智能基礎軟件:面向RISC-V芯片和AI芯片的操作系統內核、編譯工具鏈、運行時環境、編程框架等 |
2 |
yanjun@iscas.ac.cn |
10 |
李 玲 |
智能計算:研究通用人工智能芯片、算法及系統,RISC-V處理器基礎軟件 |
2 |
liling@iscas.ac.cn |
11 | 陳 華 | 隨機數發生器的檢測分析, 可證明安全的密碼算法實現防護方法 | 2 | chenhua@tca.iscas.ac.cn |
二、計算機科學與技術博士后流動站 |
||||
序號 |
合作導師 |
研究方向或主要研究內容 |
招收人數 |
聯系人郵件地址 |
1 |
孫 樂 |
自然語言處理 |
1 |
lesunle@163.com |
2 |
韓先培 |
自然語言處理 |
1 |
xianpei@iscas.ac.cn |
3 |
賀也平 |
多主體環境安全及隱私 |
1 |
Yeping@iscas.ac.cn |
4 |
王宏安 |
人機交互、實時智能 |
1 |
Hongan@iscas.ac.cn |
5 |
田 豐 |
人機交互 |
1 |
Tianfeng@iscas.ac.cn |
6 |
王 青 |
智能軟件工程、軟件眾包服務 |
1 |
dandan@iscas.ac.cn |
7 |
張常有 |
并行分布式系統、工業智能系統 |
1 |
changyou@iscas.ac.cn |
8 |
李會元 |
并行計算 |
1 |
huiyuan@iscas.ac.cn |
9 |
丁麗萍 |
電子數據取證、網絡安全、隱私保護、區塊鏈 |
3 |
dingliping@gz.iscas.ac.cn |
10 |
吳文玲 |
對稱密碼的量子安全性 |
1 |
wwl@tca.iscas.ac.cn |
11 |
蘇璞睿 |
軟件安全 |
2 |
purui@iscas.ac.cn |
12 |
張振峰 |
后量子密碼、區塊鏈密碼、零信任與網絡安全 |
3 |
zfzhang@tca.iscas.ac.cn |
13 |
馮登國 |
大數據安全、區塊鏈安全 |
2 |
feng@tca.iscas.ac.cn |
14 |
徐 靜 |
安全協議、區塊鏈安全 |
1 |
xujing@iscas.ac.cn |
15 |
詹乃軍 |
信息物理融合系統形式設計或者程序驗證 |
1-3 |
wangsl@ios.ac.cn |
16 |
夏盟佶 |
計數復雜性二分定理 |
1 |
mingji@ios.ac.cn |
17 |
吳志林 |
程序分析與驗證 |
1 |
wuzl@ios.ac.cn |
18 |
張立軍 |
軟件驗證與分析、神經網絡安全驗證 |
2 |
Zhanglj@ios.ac.cn |
19 |
徐帆江 |
智能信息處理 |
1 |
fanjiang@iscas.ac.cn |
20 |
鄭昌文 |
大數據與智能信息處理 |
1 |
changwen@iscas.ac.cn |
21 |
胡曉惠 |
大數據與智能信息處理 |
1 |
hxh@iscas.ac.cn |
22 |
黃 濤 |
面向云邊端協同的新型計算框架:研究面向云邊端協同的無服務器計算框架與運行時支撐機制、面向實時數據流計算的編程框架及算法庫、面向科學探索與工程設計等關鍵領域的算法集成開發運行平臺,圍繞國家重點領域、重點工程等需求研制新型計算框架及軟件支撐平臺。 |
2 |
|
23 | 丁治明 | 時空數據處理,群體智能,自主協同 |
1 |
zhiming@iscas.ac.cn |
合作導師簡介見軟件所網頁http://www.is.cas.cn/yjsjy/dsjj/