作者noctem (noctem)
看板PLT
標題[台北] 中央研究院 程式語言相關研究助理
時間Fri Oct 30 01:00:06 2009
※ [本文轉錄自 job 看板]
作者: noctem (noctem) 看板: job
標題: [台北] 中央研究院 程式語言相關研究助理
時間: Fri Oct 30 00:52:14 2009
【公司名稱】(必填)
中央研究院 資訊科學研究所
網址:
http://www.iis.sinica.edu.tw/~scm/
穆信成
【工作職缺】
研究助理
【希望性別】
不拘
【工作內容】
從事程式語言/函數語言/型別系統 之相關研究。
工作形態大致為：
* 研讀論文或相關資料
* 定期討論
* 程式撰寫
我們希望研究邏輯、型別、程式語言、與並行(concurrent)
程式的關係，目前的幾個可能子題包括：
* 邏輯、型別系統、與資料結構。
* 以型別系統確保 concurrent 程式之正確性。
* 演算法效率分析與 big O notation.
具相關數學背景者尤佳。
* 某中/大規模 Haskell 程式的撰寫與維護，適合想知道
函數語言 (functional programming) 之實際
應用的朋友。
對上述任一題目有興趣的朋友歡迎來應徵。
【徵求條件】
學歷不拘，希望應徵者對於以下領域之中的部份有興趣
* 程式語言(programming language),
尤其是函數語言(functional programming), 或
* 型別理論(type theory)，或
* 邏輯與型別，或
* 並行程式(concurrent programming), 或
* dependent type.
【工作地點】
北市南港研究院路2段128號 資訊科學研究所
【工作時間】
9am - 5pm, 彈性大。
【公司福利】
勞健保等。
【薪資範圍】
依照中研院薪資標準，學士畢業約為 32000 - 33000,
碩士約為 35000. 詳細數目須個別計算。
【需求人數】
1-2.
【聯絡人/連絡方式】
email 至
[email protected]
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.183.109.109
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.183.109.109