[ecoop-info] PhD Positions in Programming Methodology, ETH Zurich

[Mueller Peter]

            PhD Position in Programming Methodology
     Department of Computer Science - ETH Zurich, Switzerland


The Chair of Programming Methodology is recruiting a PhD student for a
project on the integration of program verification, static analysis,
and testing.

Mandatory requirements for successful applications are:

  * Strong interest in research
  * Excellent Master's degree in Computer Science or in a related
    subject with a strong Computer Science component
  * Knowledge in program verification, static analysis (ideally abstract
    interpretation), or specification-based testing
  * Documented programming experience
  * Proficiency in English and excellent communication skills, both
    oral and written


An assistant position is a regular job with social benefits. All
positions are for a maximum of 6 years, but PhD students are expected
to graduate in at most 4-5 years. Assistants at ETH receive an
attractive salary and have access to excellent facilities in one of
the world's top computer science departments. Zurich has been ranked
among the best cities in the world for quality of life
(www.location.zh.ch/internet/vd/awa/standort/en/wirtschaft/leben.html).

For the web site of the Chair of Programming Methodology consult
www.pm.inf.ethz.ch. General information on doctoral studies at ETH are
available from www.ethz.ch/doctorate/index_EN and
www.inf.ethz.ch/education/ds. 

Applications must include a curriculum vitae, a brief description of
research interests, and at least two letters of recommendation from
scientific staff members. Applications and questions on the positions
should be sent to jobs-pm at inf.ethz.ch. The application deadline is
January 31, but we will consider applications until the positions are
filled. The project is scheduled to start March 01; a later start date
is negotiable.