[isabelle] PhD and Postdoc Positions in Programming Methodology, ETH Zurich

       PhD and Postdoc Positions in Programming Methodology
     Department of Computer Science - ETH Zurich, Switzerland

The new Chair of Programming Methodology is recruiting PhD students
and postdocs to work on topics in programming methodology including:

  * Program verification
  * Type systems
  * Static analysis and abstract interpretation
  * Development tools

Most of our work focuses on object-oriented programming and
specification languages such as Spec# and Java/JML.

PhD students and postdocs will be hired as assistants. Assistants are
expected to participate in teaching. Teaching activities include
supporting courses and seminars as well as advising student projects.

Mandatory requirements for successful applications are:

  * Strong interest in research
  * Excellent Master's degree or PhD in Computer Science or in a 
    related subject with a strong Computer Science component
  * Knowledge in formal methods
  * Documented practical experience in object-oriented programming
  * Proficiency in English and excellent communication skills, both oral

    and written 
  * For postdocs: publications in international conferences or journals

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 just been
voted #1 again in the world for quality of life

For the preliminary web site of the Chair of Programming Methodology
consult http://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. Questions on the positions and
applications should be sent to jobs-pm at inf.ethz.ch. Applications
should include a curriculum vitae, a brief description of research
interests, and two letters of recommendation from scientific staff
members. Applications will be considered until the positions are
filled. The start date is negotiable.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.