[loginf] Stellenangebot

Jan Johannsen jan.johannsen at ifi.lmu.de
Fri Feb 18 17:09:06 CET 2005


Stellenangebot
--------------

In der Lehr- und Forschungseinheit für Theoretische Informatik am
Institut für Informatik der Ludwig-Maximilians-Universität München ist
ab sofort die Stelle

 eines wissenschaftlichen Mitarbeiters / 
  einer wissenschaftlichen Mitarbeiterin (BAT IIa)

im Projekt "Pro.Platz - Programmiersprachliche Aspekte sublinearer
Platzkomplexitätsklassen" für zunächst zwei Jahre zu besetzen.

Voraussetzung ist eine abgeschlossene Promotion im Bereich der
Theoretischen Informatik oder verwandten Gebieten. Bewerber oder
Bewerberinnen sollten sehr gute Kenntnisse in mindestens einem der
Gebiete 
- Logik in der Informatik
- Komplexitätstheorie 
- Typtheorie und funktionale Programmierung
vorweisen können. Ausnahmsweise kann die Stelle auch durch eine
hervorragend qualifizierte nichtpromovierte Persönlichkeit besetzt
werden; Gelegenheit zur Promotion wäre dann geboten.

Bewerbungen mit den üblichen Unterlagen (gerne auch elektronisch)
richten Sie bitte bis zum 26. März 2005 an:

Prof. Martin Hofmann
Institut für Informatik
Ludwig-Maximilians-Universität München
Lehr- und Forschungseinheit für Theoretische Informatik
Oettingenstrasse 67
80538 München
Telefon  +49 89 2180 9341 (-9337)
Fax      +49 89 2180 9338

Informationen zur Lehr- und Forschungseinheit für Theoretische
Informatik finden Sie unter: http://www.tcs.ifi.lmu.de 





More information about the loginf mailing list