計算機科學國家重點實驗室科研人員及博士后招聘啟事----中國科學院軟件研究所

計算機科學國家重點實驗室科研人員及博士后招聘啟事

文章來源： | 發布時間：2009-06-28 | 【打印】【關閉】

　　計算機科學國家重點實驗室依托于中國科學院軟件研究所，是國內唯一主要從事計算機科學基礎研究的國家重點實驗室。實驗室堅持把研究的質量和水平放在首位，推動各種形式的學術交流，為使我國的計算機科學研究進入世界前列而不懈努力。國家自然科學獎設立以來，計算機領域唯一的一項一等獎，和六項二等獎中的兩項，都出在本實驗室。實驗室還獲得了多項國家科技進步獎。
現面向海內外誠聘下列方向科研人才：

　　·　并發和實時系統的理論與應用

　　·　軟件技術原理

　　·　計算機圖形學

　　·　量子計算理論

　　·　網絡理論與技術

　　·　計算機科學的其它新興領域

一、引進人才及其他科研崗位
　　引進人才的應聘條件、支持方式等信息可查詢中國科學院網頁：

　　http://www.caspe.ac.cn/policy.asp?Parent=93
另有上述方向的多個科研崗位。
有意應聘者請將個人簡歷、對應聘后工作的設想等相關材料發至
北京市海淀區中關村南四街4號郵編：100190
中國科學院軟件研究所計算機科學國家重點實驗室
聯系人：張麗
E-mail：zli(at)ios.ac.cn
電話：+86-010-62661616　　　　　　
傳真：+86-010-62661627
實驗室網頁：http://lcs.ios.ac.cn

　　二、博士后
　　招聘以下崗位博士后，請應聘者直接與各位合作導師聯系

1	合作導師	林惠民(http://lcs.ios.ac.cn/~lhm/) Email: lhm(at)ios.ac.cn
	研究方向	模型檢測、并發理論	招聘人數	2
	研究內容	1) 模型檢測的邏輯、算法與應用 2) 進程代數的理論與應用
	基本要求	在進程代數、模型檢測方面有較好基礎，愿意從事基礎研究。
2	合作導師	張文輝(http://lcs.ios.ac.cn/~zwh/) Email: zwh(at)ios.ac.cn
	研究方向	模型檢測與軟件形式驗證	招聘人數	1
	研究內容	1) 限界模型檢測技術與應用 2) 軟件系統模型和時序邏輯的表達能力與驗證方法
	基本要求	1) 畢業于國內外知名大學 2) 具有較強的團隊合作精神和科學嚴謹作風 3) 主持或參與過較大科研課題 4) 具有較好的時序邏輯和模型檢測方面的理論基礎 5) 熟練掌握c++編程方法 6) 熟悉NuSMV、Spin、Uppaal等模型檢測工具者優先
3	合作導師	張健 (http://lcs.ios.ac.cn/~zj/) Email: zj(at)ios.ac.cn
	研究方向	程序分析與軟件測試	招聘人數	1
	研究內容
	基本要求	1) 畢業于國內外知名大學，具備計算機軟件相關方向博士學位 2) 具有較強的團隊合作精神和科學嚴謹作風 3) 主持或參與過國家級科研課題 4) 熟悉程序分析或者軟件測試方向的相關研究，有較強的動手能力 5) 熟悉 C,C++, UML 者優先 6) 年齡35歲以下
4	合作導師	沈一棟(http://www.lcs.ios.ac.cn/~ydshen/) Email:ydshen(at)ios.ac.cn
	研究方向	數據挖掘，語義Web	招聘人數	2
	研究內容	1) 數據挖掘 2) 語義Web
	基本要求	研究能力強，英語寫作好，已在國際知名會議或期刊發表論文
5	合作導師	詹乃軍(http://lcs.ios.ac.cn/people/grjj/znj.htm) Email:znj(at)ios.ac.cn
	研究方向	形式說明和驗證技術	招聘人數	2
	研究內容	1) 程序驗證 2) 實時和混成系統 3) 構件和對象系統的形式模型
	基本要求	1) 獲得國內外知名大學計算機科學或者應用數學博士學位或同等學位 2) 具有較強的團隊合作精神和科學嚴謹作風 3) 具有形式化方法或者動力系統（控制論）方面的工作經驗 4) 能夠流利利用英語進行學術交流和較高的英文寫作技巧
6	合作導師	李昂生(http://lcs.ios.ac.cn/people/grjj/las.htm) Email:angsheng(at)ios.ac.cn
	研究方向	計算理論	招聘人數	2
	研究內容	1) Turing計算的結構理論：研究可計算生成函數在Turing歸約、有界Turing歸約或多項式時間Turing歸約下的結構、層譜理論，可定義性，判定性和初等等價問題。 2) 計算的代數途徑研究：計算、復雜性和歸約的代數刻畫，局部可檢測代數性質刻畫，編碼、糾錯碼等及其在計算復雜性中的作用。
	基本要求	1) 畢業于國內外知名大學，取得可計算性或計算復雜性方向的博士學位。 2) 在數學或計算機主要國際期刊或會議發表過論文，或具有相當水平的研究論文。
7	合作導師	吳恩華(http://lcs.ios.ac.cn/people/grjj/weh.htm) Email:lxh(at)ios.ac.cn
	研究方向	計算機圖形學	招聘人數	1
	研究內容	1) 基于物理的建模與繪制技術 2) 實時真實感繪制或急于GPU的通用計算
	基本要求	1) 具有強的物理和數學背景，并參與過大科研課題的研究 2) 具有較強的團隊合作精神和科學嚴謹作風 3) 有一定的力學背景或熟悉流體計算者優先
8	合作導師	王文成(http://lcs.ios.ac.cn/~whn/) Email: whn(at)ios.ac.cn
	研究方向	計算機圖形繪制理論與方法	招聘人數	1
	研究內容	1) 面向虛擬現實的真實感繪制理論與方法 2) 面向大規模數據可視化的理論與方法 3) 面向數字幾何的圖形圖象處理方法與技術
	基本要求	1) 在國內外知名大學或研究單位獲得博士學位。 2) 具有較好的團隊合作精神和嚴謹的科研作風。 3) 至少在虛擬現實、可視化、數字幾何、圖象處理等方向之一從事過基礎性的研究。 4) 具有良好的數學基礎，并具有較高的編程實驗能力，編寫過一萬行以上的程序代碼。 5) 在國際重要刊物或會議，以及國內一級學報上，以第一作者（導師為第一作者時為第二作者）發表過２篇研究性論文。