2 automatic-"https:" positions at SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)

Research Engineer (in the Area of Verification of Quantum Programs) (LSW)

SINGAPORE INSTITUTE OF TECHNOLOGY (SIT) | Singapore | about 2 months ago

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

Research Engineer (in the Area of Verification of Quantum Programs) (LSW)

SINGAPORE INSTITUTE OF TECHNOLOGY (SIT) | Singapore | 3 months ago

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