---------- Forwarded message ---------- 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 checking. 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 [email protected] 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 ([email protected]) 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 Germany Phone: +49 (89) 289-17204 Fax: +49 (89) 289-17207 _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
