Logic List Mailing Archive

Group leader position (E15): Verification / Algorithm Engineering, Karlsruhe (Germany), Deadline: 25 August 2007

The Universitt 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. Each research group will consist of the position of the
group leader, two scientists and an annual budget of 20.000 Euro. It
is funded by the Excellence Initiative for the initial four years. The
following vacancy is to be filled:

The Institute for Theoretical Informatics at the der Fakulty for
Informatics is seeking at the earliest possible date a


              G r o u p   L e a d e r   (E 15)

                   of the Research Group

                 V e r i f i c a t i o n
                       m e e t s
       A l g o r i t h m   E n g i n e e r i n g


The 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.

Young scientists with outstanding experience in algorithm engineering
or formal methods are strongly encouraged to apply for the position of
the group leader. Applicants must have a PhD or equivalent degree in
a related discipline. To apply please submit a curriculum vitae, a
research plan and a list of pub- lications with up to three reprints.

The initial appointment phase is for 4 years and will be paid
according to E 15 TV-L of the German civil service remuneration system
with the possibility of a renewal. The research group will be based in
the Institute for Theoretical Informatics. Active participation in
teaching and an option of a Habilitation are given.

For further information please contact Prof. Dr. Dorothea Wagner
(wagner@ira.uka.de, Tel. 0721/608- 7330).

To increase the number of women involved in science and technology,
female applicants are specifically encouraged. Handicapped
applicants will have higher preference in case of equal
qualifications.

Applications should be sent to the Universitt Karlsruhe (TH), Dekan
der Fakultt fr Informatik, Postfach 6980, 76128 Karlsruhe.

Closing date for receiving the applications is 25 August 2007.