Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.java.machine > #22

PhD and Postdoc positions at ETH Zurich

From Martin Vechev <martin.vechev@gmail.com>
Newsgroups comp.lang.java.machine
Subject PhD and Postdoc positions at ETH Zurich
Date 2011-11-13 16:49 -0800
Organization http://groups.google.com
Message-ID <30124c7a-ba46-45db-8301-6b26a7930e11@d37g2000prg.googlegroups.com> (permalink)

Show all headers | View raw


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 areas:

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

More information about our research can be found at:
http://www.srl.inf.ethz.ch/research.php

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
related)
  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@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: http://www.ethz.ch/doctorate/index_EN

Back to comp.lang.java.machine | Previous | Next | Find similar


Thread

PhD and Postdoc positions at ETH Zurich Martin Vechev <martin.vechev@gmail.com> - 2011-11-13 16:49 -0800

csiph-web