Deadline: open call
Open to: applicants with Master degree
Fund: attractive salary
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 in formal development and testing of secure software. The PhD student employed will be given the opportunity to carry out a PhD in Computer Science at ETH Zurich. Successful candidates are expected to be able to start in October 1st, 2010.
Eligibility
* Master’s or equivalent degree (e.g. Diplom).
* designed for enthusiastic students with a strong background in formal methods or mathematical logic;
* with an interest in applying their knowledge to formal development and testing of secure software;
* experience in the following specialized areas: formal software development by refinement, automated test case generation techniques would be an asset.
Fund
PhD students are paid employees of the university. Salary and employment conditions are attractive.
Application procedure
All interested applicants should submit following documents:
1. a curriculum vitae,
2. a brief description of research interests,
3. transcripts of grades,
4. letters of recommendation from teachers or employers,
5. if possible publications.
Applications and inquiries should be sent to Christoph Sprenger and Mohammad Torabi Dashti at the following email address: infsec.positions@inf.ethz.ch
