[Om-announce] PhD and post-doc positions @ETH

[Mueller Peter]

The Chair of Programming Methodology<http://www.pm.inf.ethz.ch/> at ETH Zurich is recruiting PhD students and post-docs for several projects on program verification, static program analysis, and testing. An overview of our current projects is available on our research page<http://www.pm.inf.ethz.ch/research.html>, but we are always interested in exploring new directions.

Key requirements for successful applications:

  *   Strong commitment to research
  *   Interest in combining theory and practice
  *   For PhD students: excellent M.Sc. degree in Computer Science or in a related subject with a strong Computer Science component
  *   For post-docs: publications in top conferences or journals
  *   Proficiency in English and excellent communication skills, both oral and written

Applications and questions should be sent to Mrs. Marlies Weissert at jobs-pm at inf.ethz.ch<mailto://jobs-pm@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:

  *   PhD and post-doc positions are fully funded and have an attractive salary and social benefits.
  *   Full scholarships are available for outstanding B.Sc. students interested in the PhD.
  *   ETH has one of the top computer science departments in the world: CS University Rankings<http://www.topuniversities.com/university-rankings/faculty-rankings/engineering-and-technology/2015>
  *   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.inf.ethz.ch/education/ds<http://www.inf.ethz.ch/doctorate.html>



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om-announce/attachments/20150527/6bd31fb1/attachment.html>