Institute of Information Science, Academia Sinica

Recruitment

Print

Press Ctrl+P to print from browser

Assistants

:::

This page is only available in Chinese. Please see Chinese Version.

Programming Languages Laboratory, run by Shin-Cheng Mu

Date of Expiry
2023-02-18 ~ 2023-12-31
Position
Research Assistant / Software Engineer
Responsibilities
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.
Requirements
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.
Salary
According to the standard of Academia Sinica --- at least NTD 35000/month for university graduates, and at least NTD 42000/month for those who having a master's degree. Can be discussed.
Application
email: scm@iis.sinica.edu.tw
Contact
Shin-Cheng Mu
Email
scm@iis.sinica.edu.tw
Telephone
02-27883799 ext. 1730
Website
https://scmlab.github.io/guabao/

Dr. Ruben Niederhagen’s Laboratory

Date of Expiry
2022-08-18 ~ 2023-06-30
Position
Research assistant (full time or part time)
Responsibilities
1. We are looking for research assistants (full time or part time) for the secure and efficient implementation of cryptographic schemes mostly from the field Post-Quantum Cryptography (PQC) on x86 systems and embedded systems (ARM, FPGAs, ...).
2. We provide a strong research environment with world leading, international researchers on the fields of Embedded Security and Post-Quantum Cryptography.
Requirements
1. Research assistants (full time or part time): Bachelor’s or Master’s degree in Computer or Information Science.
2. Candidates must have strong knowledge in Python and C programming and good knowledge of Sage and Assembler programming. Also knowledge on cryptography and mathematics is beneficial.
3. Good English communication skills are mandatory.
Salary
According to AS salary (full time) and scholarship (part time) standard. For full-time research assistants, major benefits include: leave entitlement, group insurance and medical plan, flexible working hours, physical examination, year-end bonuses, and labor pension.
Application
Please send your resume to ruben@iis.sinica.edu.tw as attachment.
Contact
Dr. Ruben Niederhagen (ruben@iis.sinica.edu.tw)
Email
ruben@iis.sinica.edu.tw
Telephone
(02)2788-3799 #1807