作者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