Email Gateway (Aug 17 2022 at 13:26): Email Gateway (Aug 17 2022 at 13:26):From: Felix Klaedtke <felixkl@inf.ethz.ch>
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@inf.ethz.ch. Applications should also be send to
felixkl@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.
Last updated: May 03 2024 at 04:19 UTC