[徵才]Functional Programming 的相關工作

看板PLT (程式語言與理論)作者noctem (noctem)時間17年前 (2007/03/02 02:05)推噓2(2推 0噓 2→)

留言4則, 4人參與討論串1/5 (看更多)

我直到今天才發現這個板。蠻高興在這邊看到對 programming language 有興趣的人。我現在在中研院資科所工作。做研究但沒有人可以討論，實在是蠻難的。因此我很想要聘幾位對相關題目有興趣的朋友，一起來做些事情。在學生時代我做的是 program derivation (有人知道這是什麼嗎？), 現在大概凡是 programming language 有關的題目都不挑了。最近我在做的東西和 XML 有關：我們想開發一個能使用少量記憶體處理 XML 的 functional language. 當然目前還沒到「語言」的層次，這個階段的想法是：我們需要一種奠基在 lazy evaluation 之上，但是稍作修改的 evaluation 方式。夏天之後我可能會開始另一個計畫：設計一個有「反函數」的 functional language. 是否有可能設計一個語言，讓你能先定義一個函數 f, 然後說「g 是 f 的反函數」？這樣的語言能玩出什麼花樣呢？如果您對這些題目有興趣，歡迎與我連絡。以下是我前陣子貼的徵才廣告。 ---- 中研院誠徵程式語言/函數語言/XML處理研究助理或工讀生單位 : 中央研究院資訊科學研究所網址: http://www.iis.sinica.edu.tw/~scm/ 穆信成老師職務名稱: 專任/兼任研究助理/工讀生工作內容: 從事程式語言/函數語言/XML 處理之相關研究。 * 研讀論文或相關資料 * 定期討論 * 程式撰寫條件: 學歷不拘，希望應徵者對於以下領域之中的部份有興趣 * 程式語言(programming language), 尤其是函數語言(functional programming), 或 * 編譯器後端(compiler backend)設計, 或 * XML 處理, 或 * 型別理論(type theory) 工作待遇: 比照中研院薪資標準工作地點: 北市南港研究院路2段128號資訊科學研究所聯絡電話: 02-2788-3799 分機 1730 應備文件: 意者請寄 email 至 scm@iis.sinica.edu.tw -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 123.192.157.71