※ [本文轉錄自 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
【其他備註】
有興趣之在學學生亦歡迎前來應徵。聘用方式、工作時間與薪資面議。