Careers
Quantum Verification Researcher
Establish confidence that research improvements preserve the required computation.
The role
- Responsibilities
- Design validation strategies for circuits and composed workloads. Investigate where simulation and sampling are sufficient and where stronger arguments are needed. Build counterexample-driven tests. Audit evaluation tools for shortcuts, false positives, and inconsistent assumptions.
- Relevant experience
- Formal methods, quantum verification, programming-language semantics, or rigorous testing of mathematical software.
- Evidence to share
- A verification result, proof tool, or example of finding an error that ordinary testing missed.
How to apply
Email Ivan Miskovic with the role title in the subject line. Include a CV or profile and links to relevant work: a paper, an implementation, a technical note, or a project you can explain in detail. Do not send private keys, sensitive identity documents, salary history, or private research materials.
Apply by email
Location, working arrangement, and compensation are discussed directly with candidates.