[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)
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
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