PhD in Mathematics

PhD position at the Department of Information Technology, Uppsala University, focusing on formal verification and programming language techniques applied to quantum systems./nThe project aims to address the gap in verifying trustworthiness of quantum programs at scale by combining techniques from classical verification and programming language theory with those for complex arithmetic, contributing theoretical insights and software artifacts advancing quantum program verification./nThe position is hosted in a research environment including verification experts and programming languages experts, and the placement is Uppsala. First day of employment: 2026-09-01 or as agreed. Scope of employment: 100%.