[isabelle] PhD position in Information Security at ETH Zurich

PhD position in Information Security at ETH Zurich

The research group headed by Prof. David Basin at ETH Zurich has an open
position for a PhD student.  The PhD project will be on formal methods
for cryptographic protocols, in particular on security strengthening

The project aims to develop security-strengthening transformations for
cryptographic protocols and provide both formal analysis methods as well
as cryptographic (indistinguishability-based) proof methods for
establishing the correctness of the transformations.  The research of
the PhD student will focus on the formal modeling and analysis of the

For this project, we are looking for an enthusiastic young researcher
with a background in formal methods. Knowledge of security protocols and
their analysis would be an asset.

PhD students are paid employees of the university and salary and
employment conditions are attractive. The PhD student employed will be
given the opportunity to carry out a PhD in Computer Science at ETH
Zurich on a topic related to the project. ETH Zurich regulations require
doctoral students to hold a Master's or equivalent degree (e.g. Diplom).

Zurich is a diverse and multicultural Swiss city which is consistently
rated among the best cities in the world in which to live. We favor the
same sort of diversity that defines Zurich's cultural makeup and
encourage anyone to apply with interest in formal methods and security,
regardless of where you are from.

For further information please contact Cas Cremers at:
     cas.cremers at inf.ethz.ch
Applications should also be sent to Cas Cremers at the email address

Applications should include a curriculum vitae, a brief description of
research interests, and, if possible, letters of recommendation from
teachers or employers.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.