PhD positions in Software Reliability at ETH Zurich, Switzerland

Автор темы mvechev 
ОбъявленияПоследний пост
ОбъявлениеПравила и принципы форума «Высшая математика»28.10.2009 15:17
ОбъявлениеОткрыта свободная публикация вакансий для математиков26.09.2019 16:34
ОбъявлениеИщем преподавателя для углубленного обучения статистическим методам29.05.2020 13:22
20.11.2011 07:37
PhD positions in Software Reliability at ETH Zurich, Switzerland
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:

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:
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:
Извините, только зарегистрированные пользователи могут публиковать сообщения в этом форуме.

Кликните здесь, чтобы войти