The Chair of Programming Methodology (
www.pm.inf.ethz.ch) and the Software Reliability Lab (
www.srl.inf.ethz.ch) at ETH Zurich are recruiting students to pursue a PhD in one or more of the following areas:
• Program analysis
• Program verification
• Program synthesis
• Concurrency
Key requirements for successful applications:
• Strong commitment to research
• Interest in combining theory and practice
• Proficiency in English and excellent communication skills, both oral and written
• Excellent M.Sc. degree in Computer Science or in a related subject with a strong Computer Science component.
Applications and questions should be sent to Mrs. Marlies Weissert at
job...@inf.ethz.ch. The application should include a CV and a description of research interests. We will consider applications until the positions are filled. The start date is negotiable.
More details about the positions:
• A PhD position is fully funded and has an attractive salary and social benefits.
• Full scholarships are available for outstanding B.Sc. students interested in the PhD.
• A position is for a maximum of 6 years.
• ETH has one of the top computer science departments in the world: CS University Rankings
• Zurich is consistently ranked among the top destinations in the world for quality of life
• General information on doctoral studies at ETH is available at
www.ethz.ch/doctorate/index_EN and
www.inf.ethz.ch/education/ds
Post-doc positions are also available for candidates with a PhD degree and a strong publication record.