Logic List Mailing Archive

Research group leader (postdoctoral position, E 15) in "Algorithms and Verification", Karlsruhe (Germany), Deadline: 25 August 2007

Universitt Karlsruhe (TH)

Die Universitt Karlsruhe (TH) und das Forschungszentrum Karlsruhe schlieen
sich im Karlsruhe Institute of Technology (KIT) zusammen und werden ihre
Forschung gemeinsam strukturieren und strategisch planen. Im Rahmen dieses
in der Exzellenzinitiative ausgezeichneten Zukunftskonzepts werden mehrere
Forschungsgruppen eingerichtet. Die Ausstattung besteht aus der Position des
Leiters, zwei Wissenschaftlerstellen und einem jhrlichen Budget von 20.000
Euro. Folgende Leitungsposition ist zu besetzen:

Am Institut fr Theoretische Informatik der Fakultt fr Informatik ist zum
nchstmglichen Zeitpunkt die Stelle eines/einer

Leiters/-in
(E 15) der Forschungsgruppe "Verifikation trifft Algorithmik"

zu besetzen. Die Forschungsgruppe soll am Institut fr Theoretische
Informatik eine Brckenfunktion erfllen, indem sie Methoden des Algorithm
Engineering zum Testen und Belegen der Korrektheit von
Algorithmen-Implementationen mit formalen Methoden zur Verifikation
verbindet.

Junge Wissenschaftler/innen mit ausgewiesener Erfahrung auf dem Gebiet des
Algorithm Engineering oder der Formalen Methoden sind eingeladen, sich fr
die Stelle des/der Gruppenleiters/-in zu bewerben.

Vorausgesetzt werden eine herausragende wissenschaftliche Qualifikation, die
durch eine sehr gute Promotion sowie ein einschlgiges Studium nachgewiesen
ist. Bewerber/innen sollten einen Lebenslauf und eine Publikationsliste mit
bis zu drei Sonderdrucken vorlegen.

Die zunchst auf 4 Jahre befristete Einstellung erfolgt im
Angestelltenverhltnis nach E 15, TV-L mit der Mglichkeit einer
Verlngerung. Eine aktive Beteiligung an der Lehre und eine Habilitation an
der Fakultt fr Informatik sind mglich.

Weitere Ausknfte erteilt Prof. Dr. Dorothea Wagner (wagner@ira.uka.de, Tel.
0721/608-7330).

Die Universitt Karlsruhe (TH) ist bestrebt, den Anteil an Frauen zu erhhen
und begrt deshalb besonders die Bewerbung von Frauen. Schwerbehinderte
Bewerber/innen werden bei gleicher Eignung bevorzugt bercksichtigt.

Bewerbungen mit den blichen Unterlagen richten Sie bitte an:
Universitt Karlsruhe (TH)

Fakultt fr Informatik
Dekan
Postfach 6980
76128 Karlsruhe

Bewerbungsschluss: 25.08.2007