Search Jobs Job Description Research Engineer (in the area of verification of quantum programs) (LSW) Posting Start... verification of quantum programs. The framework consists of the following deliverables: Intermediate Language. We plan to develop...
framework for formal verification of quantum programs. The framework consists of the following deliverables: Intermediate... to verify the correctness of quantum programs written in our intermediate language. mechanize the verification framework using...