Logic List Mailing Archive

PhD student position / postdoc position at ETH Zuerich: Foundations of Computer Security

OPEN 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 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.

We are looking for an enthusiastic researcher with a strong
background in theoretical computer science. Experience in
cryptography, computer security, or logic would be an asset.

The PhD student will be given the opportunity to carry out a
PhD in Computer Science at ETH Zurich, on a topic related to
the research field of the group. ETH Zurich regulations
require doctoral students to hold a Master's or equivalent
degree (e.g. Diplom).  The Postdoc is expected to hold a PhD
in Computer Science. PhD students and 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 processed as they arrive and until the
position is filled.  We encourage applicants to apply early.