Logic List Mailing Archive

ETH Zuerich: PhD student position in Automata-Based Verification of Hybrid Systems

Eidgenoessische Technische Hochschule Zuerich offers a

PhD position in Computer Science

The research group headed by Prof. David Basin at the Computer Science
Department of the Swiss Federal Institute of Technology, Zurich (ETH
Zurich), has an open position for a PhD student. The position is part of
the research project "Automata-based Verification of Hybrid Systems"  
funded by the Swiss National Science Foundation. PhD students are paid
employees of the university, and salary and employment conditions are very
attractive.

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 some of the following
areas would be an asset: automata theory, model checking, decision
procedures for logical theories.

The assistant enjoys the benefits of collaborating closely with other top
groups working on automatic verification that are involved in the AVACS
project, funded by the German Research Council (DFG). Applicants are
encouraged to familiarize themselves with AVACS and our project work at
www.avacs.org and www.infsec.ethz.ch.

For further information please contact Dr. Felix Klaedtke at
felixkl@inf.ethz.ch. Applicants should send a curriculum vitae, a brief
description of research interests, and, if possible, letters of
recommendation from teachers or employers to felixkl@inf.ethz.ch.
Eidgenoessische Technische Hochschule Zuerich

E-Mail: felixkl@inf.ethz.ch
www.avacs.org
www.infsec.ethz.ch