1 security-"https:" "https:" "https:" "https:" PhD scholarships at Uppsala universitet

PhD student focusing on Scalable Quantum Program Verification

Uppsala universitet | Sweden | 15 days ago

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