[isabelle] ETH Zurich open PhD position in testing access control systems

Open PhD position in testing access control systems

The Institute of Information Security at ETH Zurich headed by
Prof. David Basin has an open position for a PhD student.  The
position is within the Zurich Information Security Center (ZISC) and
the student will work closely with Kaba AG, Switzerland.

We are looking for an enthusiastic outstanding student with a strong
background in

- formal methods or mathematical logic,
- software testing,
- information security,

and with an interest in testing access control systems. Experience in
the following specialized areas is an advantage:

- logic programming,
- automated test case generation techniques,
- access control systems.

ETH Zurich regulations require PhD candidates to hold a Masters or
equivalent degree (e.g. Diplom). Candidates are expected to start
early 2014.  All candidates matching the profile above are encouraged
to apply before Jan 15, 2014. However, we will process applications
until the position is filled.

PhD students are paid employees of ETH. Salary and employment
conditions are attractive. Zurich is a diverse and multicultural city
which is consistently rated among the best cities in the world in
which to live.

Applications should include a curriculum vitae, a brief description of
research interests, transcripts of grades, letters of recommendation
from teachers or employers, and, if possible,
publications. Applications and inquiries should be sent to Mohammad
Torabi Dashti and Christoph Sprenger at the following email address:

 infsec.positions at inf.ethz.ch

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