-
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
-
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
Searches related to model checking
Enter an email to receive alerts for model-checking positions