[isabelle] Two PhD positions in Information Security at ETH Zurich, Switzerland

The Information Security group headed by Prof. David Basin at ETH
Zurich has two open PhD positions in two projects:

(1) Formalizing computational soundness for protocol implementations
(2) Testing access control systems

We are looking for enthusiastic outstanding researchers with a strong
background and interest in one or more of the following areas:

- formal methods or mathematical logic,
- information security or cryptography,
- (project 1) interactive theorem proving
  (project 2) software testing.

Candidates with a strong theoretical background in related areas are
also encouraged to apply. ETH Zurich regulations require PhD
candidates to hold a Masters or equivalent degree (e.g. Diplom). The
preferred starting date for both positions is as soon as possible, at
the latest by the end of 2014.

Description of the projects:

(1) Formalizing computational soundness for protocol implementations,
    funded by the Swiss National Science Foundation

The project aims at a better understanding of, and more confidence in,
the security guarantees offered by symbolic analysis methods for
security protocols, e.g. TLS and IPsec. To this end, symbolic and
computational models of security protocols and security properties
will be formalized in the proof assistant Isabelle/HOL and linked with
computational soundness results. For more information see:

(2) Testing access control systems

The project aims at developing algorithms and tools for generating
security tests from formal access control policies, and assessing
their effectiveness. The position is within the Zurich Information
Security and Privacy Center (ZISC) and the successful candidate will
work closely with our industrial partner.

Applications should include a curriculum vitae, a brief description of
research interests, transcripts of grades, letters of recommendation
from teachers or employers, an indication of the preferred project,
and, if possible, the Master's or Bachelor's thesis and publications.
We will consider applications until the position is filled. Please


Applications and informal inquiries should be sent to Andreas
Lochbihler and Mohammad Torabi Dashti at the following email address:

    infsec.positions at inf.ethz.ch

PhD students are paid employees of ETH. Salary and employment
conditions are attractive. Zurich is a diverse and multicultural city
that is consistently rated among the best cities in the world in which
to live. Further information is available from the following links:

Open Positions at Institute of Information Security:

Institute of Information Security:

ETH Zurich:

City of Zurich:

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