Fw: [台北] 中研院資訊所穆信成實驗室徵專任研究助理

看板PLT (程式語言與理論)作者noctem (noctem)時間1年前 (2023/02/18 01:13)推噓1(1推 0噓 0→)

留言1則, 1人參與討論串1/1

※ [本文轉錄自 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人。【聯絡人/連絡方式】穆信成老師聯絡信箱: scm@iis.sinica.edu.tw 聯絡電話: 02-27883799 ext. 1730 【其他備註】有興趣之在學學生亦歡迎前來應徵。聘用方式、工作時間與薪資面議。 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 125.228.43.151 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/job/M.1676652652.A.A14.html ※ 發信站: 批踢踢實業坊(ptt.cc) ※ 轉錄者: noctem (125.228.43.151 臺灣), 02/18/2023 01:13:27