Logic List Mailing Archive

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

Im Rahmen des an der Universit�t Freiburg bestehenden Graduiertenkollegs

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

sind
2 Promotionsstipendien

f�r Interessenten mit qualifiziertem Studienabschlu� f�r eine Zeit von
2 Jahren zu vergeben. Das H�chstalter f�r die Promotionsstipendien
betr�gt 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
geh�ren:

* Model-Checking in der Theorie der Datenbanken (Anfragesprachen,
  Integrit�tsbedingungen), der K�nstlichen 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) k�nnen bis zum 15.6.2007 beim Sprecher des
Graduiertenkollegs Prof. Dr. Georg Lausen, Lehrstuhl f�r Datenbanken
und Informationssysteme, Institut f�r Informatik,
Georges-K�hler-Allee, Geb. 51, 79110 Freiburg, e-mail:
gradlog@informatik.uni-freiburg.de, eingereicht werden.