Logic List Mailing Archive

Two PhD student positions in model theory, Freiburg (Germany), Deadline: June 15, 2007

Im Rahmen des an der Universitt Freiburg bestehenden Graduiertenkollegs

Mathematische Logik und Anwendungen
(http://gradlog.informatik.uni-freiburg.de/gradlog)

sind
2 Promotionsstipendien

fr Interessenten mit qualifiziertem Studienabschlu fr eine Zeit von
2 Jahren zu vergeben. Das Hchstalter fr die Promotionsstipendien
betrgt in der Regel 28 Jahre.

Das Graduiertenkolleg wird von Hochschullehrern der Mathematik und der
Informatik getragen. Themenschwerpunkte sind Anwendungen der
Mathematischen Logik in der Informatik und in der Algebra; hierzu
gehren:

* Model-Checking in der Theorie der Datenbanken (Anfragesprachen,
  Integrittsbedingungen), der Knstlichen Intelligenz
  (Handlungs-planung, Constraints Satisfaction) und dem Entwurf von
  Hardware und Software (Programmanalyse, Verifikation von
  Realzeit-Automaten und Hybrid-Systemen).

* Modelltheorie arithmetischer Strukturen und algebraisch-geometrische
  Methoden in der Modelltheorie.

Diese Themenschwerpunkte werden vertreten durch die am Kolleg
beteiligten Hochschullehrer Becker, Flum, Koenigsmann, Lausen, Nebel,
Podelski, Prestel und Ziegler. Weitere Informationen zum Kolleg finden
sich im Internet unter obiger Adresse.

Bewerbungen mit den blichen Unterlagen (Lebenslauf, Zeugniskopien,
Zeitpunkt der Promotion bzw. des Diploms, gegebenenfalls
Publikationsliste) knnen bis zum 15.6.2007 beim Sprecher des
Graduiertenkollegs Prof. Dr. Georg Lausen, Lehrstuhl fr Datenbanken
und Informationssysteme, Institut fr Informatik,
Georges-Khler-Allee, Geb. 51, 79110 Freiburg, e-mail:
gradlog@informatik.uni-freiburg.de, eingereicht werden.