PhD student focusing on scalable quantum program verification

Posted 2026-09-02 by @tenuretracker.bsky.social

Computer ScienceMathematicsPhD StudentSweden
Uppsala University (@uu.se) is hiring: https://tenuretracker.info/l/jUkBH6AV/phd-student-focusing-on-scalable-quantum-program-verification?utm_source=bluesky #phd #quantumcomputing #computerscience --- Job ID: UFV-PA 2026/2571 Extract: Uppsala University seeks a PhD student in formal verification and programming language techniques applied to quantum systems. Candidates should have a Master's degree in computer science or mathematics.
Apply on the official siteView source post