跳到主要內容區塊
Close
搜尋
Font Size
:::
Open
Font Size
搜尋
Decorate Image
  1. HomeHome
  2. > Careers

Recruitment

:::
Institute of Information Science

Research Assistant/ Software Engineer

  • Job Description
    1. Unit

      Institute of Information Science

    2. JobTitle

      Research Assistant/ Software Engineer

    3. Work Content

      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 JavaSript, PureScript, or Reason. The theories include Hoare logic, weakest precondition, separation logic, etc.

    4. Qualifications

      The applicant should
      1. be familiar with JavaSript, PureScript, or Reason;
      2. either have experience in developing VS Code extensions, or is willing to learn;
      3. be interested in theories related to correctness of imperative or functional programs.

  • Acceptance Method
    1. Contacts

      Shin-Cheng Mu

    2. Contact Address

      128 Academia Road, Section 2, Nankang, Taipei 11529, Taiwan ( Institute of Information Science)

    3. Contact Telephone

      02-27883799 ext. 1730

    4. Required Documents

      email 至 scm@iis.sinica.edu.tw

    5. Precautions for application

  • Date
    1. Publication Date

      2023-02-18

    2. Expiration Date

      2023-12-31

Back to Previous
Back to Top
:::
  • Address：128 Academia Road, Section 2, Nankang, Taipei 115201, Taiwan
  • Phone：Tel: +886-2-27822120~9 (10 lines)
  • Contact：aspublic@gate.sinica.edu.tw