Group leader position (E15): Verification / Algorithm Engineering, Karlsruhe (Germany)

The Institute for Theoretical Informatics at the der Fakulty for Informatics is seeking at the earliest possible date a Group Leader (E15) of the Research Group "Verification meets Algorithm Engineering"

The Universität Karlsruhe (TH) and the Forschungszentrum Karlsruhe are joining forces to form the Karlsruhe Institute of Technology (KIT) and are planning to integrate their research activities both structurally and strategically. Within the framework of the Excellence Initiative distinguished future concept, several new research groups will be established. The aforementioned research group shall bridge the gap between two research fields at the Institute for Theoretical Informatics by combining methods from algorithm engineering to test and prove correctness of algorithm implementations with formal methods for verification.

For further information please see http://i11www.iti.uni-karlsruhe.de/algo/ (Job offering/Research group) or contact Prof. Dr. Dorothea Wagner (wagner at ira.uka.de, Tel. 0721/608- 7330). Closing date for receiving the applications is 25 August 2007.