PhD in security ceremonies for distributed systems. Develop formal modeling and automated verification including humans and physical objects; extend verification engines and validate with real life scenarios such as electronic voting. Ideal for researchers in formal methods and cybersecurity.