Open PhD position at ETH Zurich (Automatic Verification)
Felix Klaedtke
Automata-based Verification of Hybrid Systems
The research group headed by Prof. David Basin at the Swiss Federal
Institute of Technology, Zurich (ETH Zurich), has an open position for
a PhD student. The position is part of a research project funded by
the Swiss National Science Foundation.
Our project will focus on methods and tools for the automatic
verification of hybrid systems using automata-based methods.
We are looking for a dedicated and enthusiastic young researcher with
a strong interest in formal methods and in combining aspects of both
theory and practice. Additionally, experience in at least some of the
following areas would be an asset:
automata theory
model checking
hybrid systems
decision procedures for logical theories
programming experience
The prospective assistant enjoys the benefits of collaborating closely
with other top groups working on automatic verification that
are involved in the AVACS project. Applicants are encouraged to
familiarize themselves with our project work and the AVACS work at
http://www.avacs.org.
The researcher employed will be given the opportunity to carry out a
PhD in Computer Science at ETH Zurich, on a topic related to the
project. ETH Zurich regulations require doctoral students to hold a
Master's or equivalent degree (e.g. Diplom, DEA, etc.). PhD students
are paid employees of the university, and salary and employment
conditions are very attractive.
Zurich is a diverse and multicultural city which is consistently rated
among the best cities in the world in which to live. This year,
Zurich again shares top honors as the city with the best overall
quality of life (see
http://www.citymayors.com/features/quality_survey.html). We favor the
same sort of diversity that defines Zurich's cultural makeup and
encourage anyone to apply with interest in formal methods, regardless
of where you're from.
For further information please contact Felix Klaedtke at
fel...@inf.ethz.ch. Applications should be addressed to
Prof. David Basin
IFW C 49.1
ETH Zentrum
8092 Zurich
Switzerland
Applications should include a curriculum vitae, a brief description of
research interests, and, if possible, letters of recommendation from
teachers or employers.