Two PhD student positions in formal methods / mathematical logic, Zurich (Switzerland)

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 either formal software development by refinement or automated test case generation techniques would be an asset.

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.

For more information, see http://www.infsec.ethz.ch/events/jobs/EUProjects2010 Inquiries should be sent to Christoph Sprenger and Mohammad Torabi Dashti at the following email address: infsec.positions at inf.ethz.ch.