deadline: 2006-11-04
OPEN POSTDOC POSITION AT ETH ZURICH
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 view.
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@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.