[isabelle] Open PhD Position at ETH Zurich: Compositional Methods for the Design and Validation of Security Protocols and Architectures



                     OPEN POSITION AT ETH ZURICH
         Compositional Methods for the Design and Validation
               of Security Protocols and Architectures

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.

Our project will focus on compositional methods for the verification
of security protocols.  Hence we are looking for an enthusiastic young
researcher with a strong interest in formal methods and computer
security (in particular protocols).  Additionally, experience in
higher-order logic, theorem proving, or model checking would be an
asset.

The researcher 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).  PhD students are paid
employees of the university, and 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.   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
infsec.positions at lists.inf.ethz.ch. Applications should also be sent
to Cas Cremers at the same e-mail address and 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.