[徵才] 中研院誠徵 程式語言/型別系統 研究助理或工讀生
單位 : 中央研究院 資訊科學研究所
網址: http://www.iis.sinica.edu.tw/~scm/
穆信成
職務名稱: 專任/兼任 研究助理/工讀生
工作內容: 從事程式語言/函數語言/型別系統 之相關研究。
工作形態大致為：
* 研讀論文或相關資料
* 定期討論
* 程式撰寫
本計畫中，我們希望研究邏輯、型別、與程式語言的關係。
"Dependent type" 在許多定理證明工具中被廣泛使用，
近年來也有許多程式語言開始引入這種型別，以型別證明
程式的性質，確保其正確性。我們希望研究型別與性質、
算式與證明等等的關連，了解實際上寫程式的過程中，dependent
type 可扮演怎樣的角色。
條件: 學歷不拘，希望應徵者對於以下領域之中的部份有興趣
* 程式語言(programming language),
尤其是函數語言(functional programming), 或
* 型別理論(type theory)，或
* 邏輯與型別，或
* dependent type.
工作待遇: 比照國科會薪資標準
工作地點: 北市南港研究院路2段128號 資訊科學研究所
聯絡電話: 02-2788-3799 分機 1730
應備文件: 意者請寄 email 至 scm@iis.sinica.edu.tw
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.109.20.217
推
08/28 13:27, , 1F
08/28 13:27, 1F
→
08/28 15:52, , 2F
08/28 15:52, 2F
PLT 近期熱門文章
PTT數位生活區 即時熱門文章
