-
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
-
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
-
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
-
checking), quantum computing, and software analysis/verification. Have a degree in computer science, computer engineering, electrical engineering, or related areas. Possessing a Master degree will be