※ [本文轉錄自 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/m.aspx?n=bbs/job/M.1676652652.A.A14.html

※ 發信站: 批踢踢實業坊(ptt.cc) ※ 轉錄者: noctem (125.228.43.151 臺灣), 02/18/2023 01:13:27