Logic List Mailing Archive

Two PhD student positions and one postdoctoral position "Applications of Mathematical Logic in Computer Science and Algebra" (Freiburg, Germany)

Universitaet Freiburg

Zum 01.10.2005 werden im Rahmen des an der Universitaet Freiburg seit dem 
01.10.2002 bestehenden Graduiertenkollegs Mathematische Logik und 
Anwendungen (http://gradlog.informatik.uni-freiburg.de/gradlog)

1 Postdoktorandenstipendium und 2 Promotionsstipendien

fuer Interessentinnen/Interessenten mit qualifiziertem Studienabschluss,
bzw. qualifizierter Promotion, fuer eine Zeit von 2 bis 3 Jahren vergeben.  
Das Hoechstalter fuer das Postdoktorandenstipendium betraegt in der Regel
35 Jahre, fuer die Promotionsstipendien 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 
gehoeren:

- Model-Checking Probleme in der Theorie der Datenbanken, der Kuenstlichen 
Intelligenz und bei der Verifikation von Hybriden 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, Prestel und 
Ziegler. Weitere Informationen zum Kolleg finden sich im Internet unter 
obiger Adresse.

Bewerbungen mit den ueblichen Unterlagen (Lebenslauf, Zeugniskopien, 
Zeitpunkt der Promotion bzw. des Diploms, gegebenenfalls 
Publikationsliste) sind einzureichen bis spaetestens 20. Juni 2005 beim:
	
Universitaet Freiburg
Sprecher des Graduiertenkollegs Prof. Dr. Georg Lausen, Lehrstuhl fuer 
Datenbanken und Informationssysteme, Institut fuer Informatik
Georges-Koehler-Allee, Geb. 51
79110 Freiburg

E-Mail: gradlog@informatik.uni-freiburg.de.

Homepage: http://gradlog.informatik.uni-freiburg.de/gradlog