Research Engineer (in the area of verification of quantum programs)

Singapore Institute of Technology; Singapore; On-site; SGD 60,000 - 80,000; Full time

Job summary

An educational institution in Singapore seeks a Research Engineer specializing in the verification of quantum programs. The role involves developing an intermediate language for quantum programs and a framework to verify their correctness. Candidates should have a degree in relevant fields and experience in formal methods, as well as strong analytical skills. The position offers the chance to work on innovative research projects with potential impact on the quantum computing landscape.

Qualifications

• Relevant competence in formal methods, quantum computing, and software analysis.
• Degree in computer science, computer engineering, or related areas.
• Knowledge of quantum circuit design and program verification is advantageous.

Responsibilities

• Participate in and manage the research project with the research team.
• Develop an intermediate language for quantum programs.
• Verify the correctness of quantum programs.
• Mechanize the verification framework.
• Develop formal methods for automatic reasoning.

Skills

Formal methods expertise

Quantum computing knowledge

Software analysis/verification

Technical writing

Analytical skills

Education

Degree in computer science or related fields

Master's degree

Tools

Theorem provers (Coq or Isabelle/HOL)

Job description

Overview

Research Engineer (in the area of verification of quantum programs) (LSW). Posting Start Date: 21/11/2025. Schemes of Service: Research. Division: Infocomm Technology. Employment Type: Fixed Term. As a University of Applied Learning, SIT works closely with industry in our research pursuits. Our research staff will have the opportunity to be equipped with applied research skill sets that are relevant to industry demands while working on research projects in SIT.

The primary responsibility of this role is to deliver on a research project, funded by the Singapore Ministry of Education (MOE), where you will be part of the research team to develop a scalable and comprehensive framework for formal verification of quantum programs. The framework consists of the following deliverables:

• Intermediate Language. We plan to develop an intermediate language to model quantum programs. The intermediate language would be complete to describe all the desired characteristics of quantum computing while at the same time simple enough to be understood by most programmers.
• Formal Verification Framework. We plan to develop a comprehensive framework to verify the correctness of quantum programs written in the proposed intermediate language.
• Mechanization. We plan to mechanize the formal framework using state-of-the-art theorem provers such as Coq or Isabelle/HOL.
• Proof Automation. We plan to develop formal methods for automatic reasoning that can be materialized into commercial tools.

Responsibilities

• Participate in and manage the research project with Principal Investigator (PI) and the research team members to ensure all project deliverables are met.
• Undertake these responsibilities in the project:
  • develop an intermediate language to write quantum programs.
  • develop a comprehensive framework to verify the correctness of quantum programs written in our intermediate language.
  • mechanize the verification framework using state-of-the-art theorem provers such as Coq or Isabelle/HOL.
  • develop formal methods for automatic reasoning that can be materialized into commercial tools.
• Carry out Risk Assessment, and ensure compliance with Work, Safety and Health Regulations.
• Coordinate procurement and liaison with vendors/suppliers.
• Work independently, as well as within a team, to ensure proper operation and maintenance of equipment.

Job Requirements

• Have relevant competence in the areas of formal methods (including theorem proving and model checking), quantum computing, and software analysis/verification.
• Have a degree in computer science, computer engineering, electrical engineering, or related areas. Possessing a Master degree will be advantageous.
• Knowledge of quantum circuit design and quantum program analysis/verification will be advantageous.

Key Competencies

• Able to build and maintain strong working relationships with people within and external to the university
• Self-directed learner who believes in continuous learning and development
• Proficient in technical writing and presentation
• Possess strong analytical and critical thinking skills
• Show strong initiative and take ownership of work