[isabelle] Open project position at TUM: Computer-supported verification of automata constructions

A research assistant position is available in connection with
a project funded by the German research Council (DFG).

Project title: Computer-supported verification of automata constructions

Principal Investigators: Javier Esparza, Tobias Nipkow, and Jan-Georg Smaus

Duration: 36 months

Start date: as soon as possible but not later than June 2011.

Remuneration: German scale 13 TV-L (38k-54k EUR according to age,
experience, family status)

Background: Diploma or Master in Computer Science or Mathematics.
Some previous experience in theorem proving, automata theory, or model

Location: Faculty of Computer Science, Technical University of Munich
(TUM). TUM is an equal opportunities employer.

Applications should be sent by E-Mail to Erika Leber
leber at in.tum.de as a single PDF file containing in particular a CV
and the names of two potential referees. There is
no deadline. Applications will be assessed on an on-going basis until
the position is filled.

Questions about the position can be directed to Javier Esparza
(esparza at in.tum.de)

Project description:

The goal of the project is to produce a library of mechanically verified
model-checking algorithms. The project focuses on the automata-theoretic
approach to model-checking, and so achieving the goal also comprises the
formalization of standard constructions of automata theory
using interactive theorem proving.

Prof.Dr. Javier Esparza
Institut fuer Informatik (I7)
Technische Universitaet Muenchen
Boltzmannstr. 3
D-85748 Garching bei Muenchen

Phone: +49 (89) 289-17204
Fax:   +49 (89) 289-17207

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