[FM-India] PhD positions @ETH

Madhavan Mukund madhavan at cmi.ac.in
Tue Dec 6 05:55:32 IST 2016

----- Forwarded message -----

Date: Mon, 5 Dec 2016 16:44:37 +0000
From: Mueller  Peter <peter.mueller at inf.ethz.ch>
To: "'acm-fse at lists.inf.unisi.ch'" <acm-fse at lists.inf.unisi.ch>,
 "'fmindia at cmi.ac.in'" <fmindia at cmi.ac.in>, "'pvs-announce at csl.sri.com'"
 <pvs-announce at csl.sri.com>, "'om-announce at openmath.org'"
 <om-announce at openmath.org>, "'concurrency at listserver.tue.nl'"
 <concurrency at listserver.tue.nl>, "'THEORYNT at listserv.nodak.edu'"
 <THEORYNT at listserv.nodak.edu>, "'theorem-provers at ai.mit.edu'"
 <theorem-provers at ai.mit.edu>, "'pvs at csl.sri.com'" <pvs at csl.sri.com>,
 "'ecoop-info at ecoop.org'" <ecoop-info at ecoop.org>, "'fmics at inrialpes.fr'"
 <fmics at inrialpes.fr>, "'seminar-15191 at dagstuhl.de'"
 <seminar-15191 at dagstuhl.de>
Subject: PhD positions @ETH

The Chair of Programming Methodology at ETH Zurich is looking for excellent
candidates for newly-opened PhD positions. The successful applicant will join
our research group and begin work along on a new project for two PhD
candidates, beginning in 2017. The project will investigate the question of how
to connect modern capability-based type systems (such as that employed by the
Rust programming language), and formal program reasoning techniques, in order
to develop a new kind of lightweight verification tool specifically targeted at
enabling everyday programmers to reason about the correctness of their code.
This work is part of our ongoing Viper project, see our research page.

Key requirements for successful applications:

  ● Strong commitment to research
  ● Interest in programming languages, tool building, formal reasoning, and
    software correctness
  ● Excellent M.Sc. or B.Sc. degree in Computer Science or in a related subject
    with a strong Computer Science component
  ● Proficiency in English and excellent communication skills, both oral and

Applications and questions should be sent to Mrs. Marlies Weissert at
jobs-pm at 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:

  ● PhD and post-doc positions are fully funded and have an attractive salary
    and social benefits.
  ● Full scholarships are available for outstanding B.Sc. students interested
    in the PhD.
  ● ETH has 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 


----- End forwarded message -----

More information about the FMIndia mailing list