[ecoop-info] PhD Position in Programming Methodology at ETH Zurich

[Mueller Peter]

            PhD Position in Programming Methodology
                          ETH Zurich, Switzerland


The Chair of Programming Methodology is recruiting a PhD student to work on one of the following areas:

  * Verification of concurrent programs
  * Static program analysis
  * Programming environments


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, or other formal methods
  * 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 November 30, but we will consider applications until the positions are filled. The start date is negotiable.