We are recruiting Masters and PhD students, as well as postdocs to do research in (one or more of) the following areas:
-- Static and dynamic program analysis
-- Concurrency
-- Synthesis and verification
-- 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 Bachelors or Masters 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 optionally a short 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: 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: http://www.ethz.ch/doctorate/index_EN
