PhD student positions in Programming Methodology, Zürich, Switzerland

The Chair of Programming Methodology is recruiting PhD students to do research in the following areas:
- Static program analysis, especially abstract interpretation for mobile TouchDevelop
- Verification of concurrent programs, especially Scala programs
- Programming languages
- Programming environments

Applications and questions should be sent to Prof. Peter Müller at jobs-pm at inf.ethz.ch. We will consider applications until the positions are filled. For more information, see http://www.pm.inf.ethz.ch/open_positions/.