[Switzerland] Two 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.
Benefits
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). 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.

Application requirements
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@inf.ethz.ch

Source: http://ping.fm/hEAy1