Logic List Mailing Archive

PhD Student / PostDoc Positions in "Logic in Programming" (Saarbruecken; Deadline 31.3.2004)

Das Max-Planck-Institut fuer Informatik in Saarbruecken sucht
baldmoeglichst

          mehrere Wissenschaftliche Mitarbeiter

                              
Die Stellen sind in der Arbeitsgruppe "Logik der Programmierung" (Prof.
Dr. Harald Ganzinger) angesiedelt und zunaechst auf zwei Jahre befristet.
Im Internet finden Sie weitere Informationen ber die Arbeitsgruppe.

Die Stellen sind im Rahmen des neu eingerichteten
Transregio-Sonderforschungsbereichs AVACS (Automatic Verification and
Analysis of Complex Systems), der gemeinsam von den Universitaeten 
Freiburg,
Oldenburg und Saarbruecken sowie dem Max-Planck-Institut fuer
Informatik in Saarbruecken durchgefuehrt wird, 
zu besetzen. AVACS bietet motivierten und kreativen Wissenschaftlerinnen 
und
Wissenschaftlern ein exzellentes 
Forschungsumfeld. Im Internet finden Sie weitere Informationen ber AVACS. 

Einstellungsvoraussetzung ist ein abgeschlossenes Hochschulstudium (in der
Regel im Bereich der Informatik).  Erwartet werden vertiefte Kenntnisse in
einem oder mehreren der folgenden Bereiche: Logik, Theorembeweisen,
Verifikation, Programmanalyse, Zeit-Automaten und Hybride Systeme.

Es besteht die Gelegenheit zur Promotion.  Die Verguetung erfolgt - je
nach Qualifikation - nach BAT IIa oder BAT IIa/2 mit den ueblichen
Sozialleistungen des oeffentlichen Dienstes.

Deadline: 31.3.2004
                         
MPI Informatik Saarbruecken
Prof. Dr. Harald Ganzinger
Stuhlsatzenhausweg 85
66123 Saarbruecken
                                     
http://www.mpi-sb.mpg.de/units/ag2/, 
http://www.avacs.org