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

job版禁止張貼違反「就業服務法」、「性別平等工作法」、「勞基法」與其他法律之文章 發文者已同意一切遵循現行法律，並確知文責自負。本工作確實勞健保! 此兩行刪除，文章會被刪除不另通知。 請各位資方配合遵守。 中央研究院資訊科學研究所 專任研究助理。 (全職工作。在學學生也歡迎前來應徵，但須以其他方式聘用。) 參與開發、維護一套用於證明程式正確性之軟體工具。該工具之前端 是 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 起。 但可視工作年資及能力、表現彈性敘薪。 1人。 穆信成老師 聯絡信箱: [email protected] 聯絡電話: 02-27883799 ext. 1730 有興趣之在學學生亦歡迎前來應徵。聘用方式、工作時間與薪資面議。 -- 02/18 01:13
※ 批踢踢實業坊(ptt.cc), 來自: 125.228.43.151 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/job/M.1676652652.A.A14.html