PhD student position / postdoc position
in "Foundations of Computer and Network Security Group", ETH Zuerich

The research group headed by Ralf Kuesters at the Swiss Federal Institute of Technology, Zurich (ETH Zurich) has an open position for a PhD student/Postdoc.

The research of our group currently focuses on various aspects of cryptographic protocols, including rigorous definitions of security requirements, modular design, and semi- and fully automatic analysis. We study these aspects both from a formal/logical and a cryptographic point of view.

For more information, see http://www.ti.inf.ethz.ch/people/kuesters_phd.html Or contact Ralf Kuesters at ralf.kuesters at inf.ethz.ch