Open PhD position in Formal Methods for Information Security

Ph.D. Research Project at ETH Zurich on Formal Methods for Federated Identity Management Prof. David Basin, ETH Zurich The Information Security Group carries out research on methods and tools for the analysis and construction of safe and secure systems. This includes methods for specifying systems, developing systems in correctness-preserving ways, and verifying or testing existing