[loginf] Open PostDoc position at ETH Zurich

Ralf Kuesters ralf.kuesters at inf.ethz.ch
Mon Oct 23 19:01:54 CEST 2006

                     in the
  Foundations of Computer and Network Security Group

The research group headed by Ralf Kuesters at the Swiss
Federal Institute of Technology, Zurich (ETH Zurich) has an
open position for a 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

We are looking for an enthusiastic researcher with a PhD in
Computer Science and a strong background in Theoretical
Computer Science. Experience in the field of cryptographic
protocols, studied from a formal/logical and/or
cryptographic point of view, would be an asset.

PostDocs are paid employees of the university, and salary
and employment conditions are attractive.

For further information please contact Ralf Kuesters at
ralf.kuesters at inf.ethz.ch.

Applications should also be sent to Ralf Kuesters at the
same e-mail address and should include a curriculum vitae,
a brief description of research interests as well as a list
of publications and three letters of recommendation (if possible).

Applications are considered until the position is
filled. Preference is given to applications received by
November 4th, 2006.

More information about the loginf mailing list