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

Mueller Peter peter.mueller at inf.ethz.ch
Fri Sep 23 16:48:06 CEST 2011

            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.

More information about the ecoop-info mailing list