廣告



Research Assistant/software Engineer, Nangang District

發表 2025-01-24
過期 2025-02-24
ID #2566673329
Free
Research Assistant/software Engineer, Nangang District
Taiwan, 台北, 台北市,
發表 January 24, 2025

描述

工作內容 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

⇐ 之前的工作

下一份工作 ⇒     

 

聯繫雇主

    快速搜索:

    地點

    輸入城市或地區

    關鍵詞


    廣告