[loginf] W2 Position in Theoretical Computer Science at TUM

Helmut Seidl seidl at in.tum.de
Thu Jun 26 15:12:03 CEST 2008

        Associate Professorship in Theoretical Computer Science

The Faculty of Computer Science of the Technische Universität München
invites applications for a tenured associate professorship (W2)
in theoretical computer science.

The Faculty seeks candidates with an excellent
research record in formal methods for
qualitative and quantitative analysis of systems, with
applications to the safety and security of software-intensive,
embedded, web-based, or mobile systems.

The Faculty is particularly interested in candidates that can
contribute to the Graduate School (Graduiertenkolleg)
"Program and Model Analysis", starting in July 2008. The goal of the
School is the development of analysis techniques combining methods from
static analysis, model checking, theorem proving and abstract 

Successful candidates will be teaching in the Bachelor and Master
programmes of the Faculty. Interest in interdisciplinary cooperations within
the University is expected.

Applicants should have a doctorate and a Habilitation or
equivalent qualification, and be at most 52 years old.

The Technische Universität München gives priority to
applicants with disabilities in the case of equal
qualification. The University has the strategic goal of substantially
increasing the participation of women in research and teaching, and so
female scientists are encouraged to apply.

More information about the loginf mailing list