单位 : 中央研究院 资讯科学研究所 网址: 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