[isabelle] Open PhD Position at ETH Zurich (formal methods)



                      OPEN POSITION AT ETH ZURICH
             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, a strong background in at least
some of the following areas would be an asset:
     automata theory
     model checking
     decision procedures for logical theories

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
felixkl at inf.ethz.ch. Applications should also be send to
felixkl at inf.ethz.ch and should include a curriculum vitae, a brief
description of research interests, and, if possible, letters of
recommendation from teachers or employers.







This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.