Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
on superconducting quantum computers Developing algorithms to decompose (arbitrary) unitaries into native operations of a given target system Optimizing circuits taking error models of actual hardware into account
Searches related to model checking
Enter an email to receive alerts for model-checking positions