單位 : 中央研究院 資訊科學研究所 網址: 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 至 [email protected] --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.109.20.217