Open PhD Positions in Programming Methodology

The Chair of Programming Methodology is recruiting PhD students to do research in the following areas:

• Verification of concurrent programs, especially Scala programs
  
• Programming languages
  
• Programming environments
  
• Static program analysis
  

More information about our research can be found on our research page.

Key requirements for successful applications:

• Strong commitment to research
• Interest in combining theory and practice
• Proficiency in English and excellent communication skills, both oral and written
• Excellent M.Sc. degree in Computer Science or in a related subject with a strong Computer Science component. We will also consider outstanding candidates with a B.Sc. degree.
  

Applications and questions should be sent to Prof. Peter Müller at jobs-pm@inf.ethz.ch.  The application should include a CV and a description of research interests. We will consider applications until the positions are filled. The start date is negotiable.

More details about the positions:

• A PhD position is a regular job with attractive salary and social benefits
• A position is for a maximum of 6 years
• ETH is one of the top computer science departments in the world: CS University Rankings
• Zurich is consistently ranked among the top destinations in the world for quality of life
• General information on doctoral studies at ETH is available at www.ethz.ch/doctorate/index_EN and www.inf.ethz.ch/education/ds