[isabelle] Open research position at ETH Zurich

      Open Position in Information Security at ETH Zurich on

	       Formally Certified Secure Boot Processes

The research group headed by Prof. David Basin at the Swiss Federal
Institute of Technology, Zurich (ETH Zurich) has an open position for
a PhD student or postdoctoral researcher. The position is within the
Zurich Information Security Center (ZISC) and is in collaboration with
researchers at the IBM Zurich Research Laboratory.

The project addresses methods for the design, analysis, and
certification of secure boot processes. In particular, we investigate
the construction of abstract models from the boot code that are
amenable to algorithmic verification techniques.  For this open
position, we are looking for an enthusiastic student or researcher
with a strong interest in formal methods, in particular abstraction
techniques and model checking, and computer security. Additionally,
experience with cryptographic coprocessors would be an asset.

PhD students and postdoctoral researchers 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 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 Christoph Sprenger at:

  sprenger at inf.ethz.ch

Applications should also be sent to Christoph Sprenger at the email
address above.

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

Dr. Christoph Sprenger, ETH Zurich, Department of Computer Science
IFW C 48.3, Haldeneggsteig 4 / Weinbergstrasse, 8092 Zurich, SWITZERLAND
Tel: +41 44 632 75 56, Fax: +41 44 632 11 72, email: sprenger at inf.ethz.ch

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