[ecoop-info] PhD and Postdoc positions at ETH Zurich

Martin Vechev mtvechev at us.ibm.com
Mon Nov 14 01:30:04 CET 2011

The newly formed Software Reliability Lab (SRL) at ETH Zurich is recruiting
PhD students and postdocs to do research in (one or more of) the following

      Static and dynamic program analysis
      Synthesis and verification of concurrent programs
      Programming languages

More information about our research can be found at:

Key requirements for successful applicants:
      Strong interest and commitment to research
      Interest in combining theory and practice
      Competency in English
      For PhD: Excellent B.Sc. or M.Sc. degree in Computer Science (or
      For postdoc: PhD degree in Computer Science; publications in
      international venues

Applications and questions should be sent to Prof. Dr. Martin Vechev at:
jobs-srl at inf.ethz.ch
The application should include a CV and description of research interests.

More details about the positions:
      A PhD or a postdoc position is a regular job with attractive salary
      and social benefits.
      A position is for a maximum of 6 years.
      One of the top computer science departments in the world.
      Zurich is consistently ranked among the top destinations in the world
      for quality of life.
      General information on doctoral studies at ETH:
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20111113/100fe862/attachment.html 

More information about the ecoop-info mailing list