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

[PVS] PhD Positions at ETH Zurich

Dear Madam, dear Sir


Could you kindly pass below job advert to people who might be interested. Thanks for your assistance.


Kind regards,


Marlies Weissert




Marlies Weissert


Chair of Programming Methodology

ETH Zürich

Universitätstr. 6

8092 Zürich

Tel.  +41 (0)44 632 81 70

Fax  +41 (0)44 632 17 79





            PhD Positions at ETH Zurich



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

·         Static program analysis, especially abstract interpretation for mobile TouchDevelop applications

·         Verification of concurrent programs, especially Scala programs

·         Programming languages

·         Programming environments


More information about our research can be found at www.pm.inf.ethz.ch.


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@xxxxxxxxxxx.  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