工作內容 Developing and maintaining a programming environment that encourages the idea that a program and its correctness proof should be developed hand in hand.
The frontend of the environment is currently a VS Code extension, while the backend is written in Haskell.
The assistant will mostly be responsible for the development of the frontend but, if there is interest, may involve in the backend and learn related theories. The frontend may be written in Java Sript, Pure Script, or Reason.
The theories include Hoare logic, weakest precondition, separation logic, etc. Salary:bachelor 35,-46,, master 41,-52, 歡迎 所有求職者 工作資訊 工作時間: 日班 休假制度: 週休二日 工作待遇: 月薪 35, 至 52,元 相關職務薪資 工作性質: 全職 職務類別: 關於資訊助理人員 工作地點: 台北市 南港區 研究院路2段號 要求條件 工作經驗: 不拘 學歷限制: 大學、碩士 科系限制: 不拘
廣告
Research Assistant/software Engineer, Nangang District
Free
Research Assistant/software Engineer, Nangang District
Taiwan, 台北, 台北市,
發表 January 24, 2025