Logic List Mailing Archive

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

Link: http://www.infsec.ethz.ch/events/jobs/EUProjects2010