[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] PhD Positions in Programming Methodology, ETH Zurich

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

The Chair of Programming Methodology is recruiting two PhD students
for a project on specification inference. The goal of the project is
to combine automatic program verification and static analysis to infer
specifications for object-oriented programs.

PhD students 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 in Computer Science or in a related
    subject with a strong Computer Science component
  * Knowledge in formal methods, static analysis (ideally abstract
    interpretation), or program verification
  * Documented practical experience in object-oriented programming
  * Proficiency in English and excellent communication skills, both
    oral and written

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 been ranked
among the best cities in the world for quality of life

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

Applications should include a curriculum vitae, a brief description of
research interests, and letters of recommendation from scientific
staff members. Applications and questions on the positions should be
sent to jobs-pm@inf.ethz.ch. The application deadline is May 15, but
we will consider applications until the positions are filled. The
project is scheduled to start July 01; a later start date is