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

Mueller Peter peter.mueller at inf.ethz.ch
Fri Mar 4 14:40:38 CET 2011

            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. The goal of this project is to develop an architecture that allows programmers to apply various static checkers and automatic testing tools. The architecture will keep track of which properties have been checked, and under which assumptions. This will allow different checkers to complement each other. For instance, a program verifier could prove program correctness under the assumption that no arithmetic overflow occurs, whereas a specialized static analysis attempts to confirm this assumption. A test case generation tool can emit test cases that focus on properties not checked statically. 

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 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. 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 March 31, but we will consider applications until the positions are filled. The start date is negotiable.

More information about the ecoop-info mailing list