※ [本文转录自 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 【其他备注】 有兴趣之在学学生亦欢迎前来应徵。聘用方式、工作时间与薪资面议。 --

※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 125.228.43.151 (台湾) ※ 文章网址: https://webptt.com/cn.aspx?n=bbs/job/M.1676652652.A.A14.html

※ 发信站: 批踢踢实业坊(ptt.cc) ※ 转录者: noctem (125.228.43.151 台湾), 02/18/2023 01:13:27