※ [本文转录自 job 看板 #1Zxx1ieK ]
作者: noctem (noctem) 看板: job
标题: [台北] 中研院资讯所穆信成实验室征专任研究助理
时间: Sat Feb 18 00:50:50 2023
job版禁止张贴违反“就业服务法”、“性别平等工作法”、“劳基法”与其他法律之文章
发文者已同意一切遵循现行法律，并确知文责自负。本工作确实劳健保!
此两行删除，文章会被删除不另通知。
※请各位资方配合遵守。
【公司名称】
中央研究院资讯科学研究所
※没有填写公司名称将会被删文。
※人资没有填写人资公司以及原征人公司(共2公司)名称将会被删文。
【工作职缺】
专任研究助理。
(全职工作。在学学生也欢迎前来应征，但须以其他方式聘用。)
【工作内容】
参与开发、维护一套用于证明程式正确性之软件工具。该工具之前端
是 VS Code 编辑器之外挂，后端则以 Haskell 语言写成。本职缺
征求之助理主要负责前端，但如有兴趣，也可习得后端的相关知识与
理论并参与开发。
前端可使用 JavaScript, PureScript, 或 Reason 撰写。
相关理论则包括：Hoare logic, weakest precondition,
separation logic 等等。
【征求条件】
1. 熟悉 JavaScript, PureScript, 或 Reason.
2. 有经验或愿意学习如何撰写 VS Code extension.
3. 对命令式(imperative)语言或函数(functional)语言程式正确性
之相关理论有兴趣。
※为保障板友就业机会平等，雇主对求职人或所雇用员工，不得以种族、阶级
、语言、思想、宗教、党派、籍贯、出生地、性别、性倾向、年龄、婚姻、
容貌、五官、身心障碍或以往工会会员身分为由，予以歧视。
【工作地点】
中央研究院资讯科学研究所（台北市南港区）。
【工作时间】
※没有填写工作时间将会被删文。
原则上每日工时八小时(中午12:00-13:30休息）
但工作时间有弹性，可面议。
【月休】
※一定要有数字。没有填写月休及排班制度 或月休过低将会被删文。
周休二日、国定假日。
【公司福利】
【薪资范围】
依中央研究院标准支薪：
学士级约 35000 起，
硕士级约 42000 起。
但可视工作年资及能力、表现弹性叙薪。
※行政院劳动部于112年1月1日起调涨基本工资为月薪26,400元
※无薪资、比照科技部、比照本校规定、面议、电议，薪资不清等水桶一周
【需求人数】
1人。
【联络人/连络方式】
穆信成老师
联络信箱: [email protected]
联络电话: 02-27883799 ext. 1730
【其他备注】
有兴趣之在学学生亦欢迎前来应征。聘用方式、工作时间与薪资面议。