EXPIRED
Funded PhD – Privacy-Preserving Voting with ZkSNARKs
🇬🇧
Swansea, Wales, UK
Fully funded UK PhD in Coq-based formal verification and zkSNARKs for secure STV election tallying. Focus on functional programming, cryptography, and e-voting. Starts Oct 2025 or Jan 2026. EPSRC-funded; £20,780 stipend.
Haskell