Logic List Mailing Archive

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

Universit�t Karlsruhe (TH)

Die Universit�t Karlsruhe (TH) und das Forschungszentrum Karlsruhe schlie�en
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 j�hrlichen Budget von 20.000
Euro. Folgende Leitungsposition ist zu besetzen:

Am Institut f�r Theoretische Informatik der Fakult�t f�r Informatik ist zum
n�chstm�glichen Zeitpunkt die Stelle eines/einer

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

zu besetzen. Die Forschungsgruppe soll am Institut f�r Theoretische
Informatik eine Br�ckenfunktion erf�llen, 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 f�r
die Stelle des/der Gruppenleiters/-in zu bewerben.

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

Die zun�chst auf 4 Jahre befristete Einstellung erfolgt im
Angestelltenverh�ltnis nach E 15, TV-L mit der M�glichkeit einer
Verl�ngerung. Eine aktive Beteiligung an der Lehre und eine Habilitation an
der Fakult�t f�r Informatik sind m�glich.

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

Die Universit�t Karlsruhe (TH) ist bestrebt, den Anteil an Frauen zu erh�hen
und begr��t deshalb besonders die Bewerbung von Frauen. Schwerbehinderte
Bewerber/innen werden bei gleicher Eignung bevorzugt ber�cksichtigt.

Bewerbungen mit den �blichen Unterlagen richten Sie bitte an:
Universit�t Karlsruhe (TH)

Fakult�t f�r Informatik
Dekan
Postfach 6980
76128 Karlsruhe

Bewerbungsschluss: 25.08.2007