PhD position: advance security proofs for electronic voting protocols with the Squirrel Prover. Develop symbolic and computational models, extend proof tools, and verify quantum-resilient privacy and verifiability. Ideal for researchers in formal methods and cryptography.