[isabelle] 2 open PhD positions in formal development and testing of secure software

The research group headed by Prof. David Basin at the Swiss Federal
Institute of Technology, Zurich (ETH Zurich) has two open positions
for PhD students. For these positions, we are looking for enthusiastic
students with a strong background in

- formal methods or mathematical logic,

and with an interest in applying their knowledge to formal development
and testing of secure software. Additionally, experience in the
following specialized areas would be an asset:

- formal software development by refinement,
- automated test case generation techniques.

PhD students are paid employees of the university. 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. ETH Zurich regulations require doctoral students to hold a
Master's or equivalent degree (e.g. Diplom, DEA, etc.). Successful
candidates are expected to be able to join us on October 1st, 2010.

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 matching the profile above to apply, regardless of where you
are from.

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

  infsec.positions at inf.ethz.ch

Chair of Information Security, ETH Zurich

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