[loginf] Freie Stelle

[Prof. Dr. Peter H. Schmitt]

Im Rahmen des DFG-Schwerpunktprogramms 1496
“Reliably Secure Software Systems – RS3” habe ich eine
Mitarbeiterstelle, die ich sofort besetzten kann.
Gutes Hintergundwissen in Logik und automatischer Deduktion sind
Voraussetzung, Kenntnisse in Informationsflußanalyse
sind hilfreich.

Bewerbungen und Rückfragen nehme ich gerne entgegen.

Peter H. Schmitt

-- 
Karlsruher Institut für Technologie (KIT)
Institut für Theoretische Informatik
Fakultät für Informatik

Prof.Dr.P.H.Schmitt

Am Fasanengarten 5
Gebäude 50.34
D-76131 Karlsruhe
Tel: +49 721 608-3919
Fax: +49 721 608-4211
E-Mail: pschmitt at ira.uka.de
lfm.iti.uni-karlsruhe.de

KIT - Universität des Landes
Baden-Württemberg und nationales
Großforschungszentrum in der
Helmholtz-Gemeinschaft