Sort by
Refine Your Search
-
software (e.g. in security), there is an urgent need for verifying the trustworthiness of quantum programs at scale. Features of modern quantum programs such as Quantum Error Correction lead to hybrid
-
and approaches, as well as implementations that can be practically used. The first project targets specifically numerical programs that appear widely in e.g. safety-critical (embedded) systems, data
Searches related to information security
Enter an email to receive alerts for information-security positions