Aufgabe:
* Mitwirkung in der deutsch- und englischsprachigen Lehre des Lehrstuhls für mathematische Logik und bei Grundvorlesungen der verschiedenen Studiengänge der Fakultät für Mathematik und Informatik im Umfang von fünf Semesterwochenstunden. * Forschung im Bereich der mathematischen Logik und Komplexitätstheorie, insbesondere Beweiskomplexität.Qualifikation:
* Sehr guter Universitätsabschluss (Diplom oder Master) in Mathematik oder Informatik * Herausragende Diplom-/Masterarbeit * Vertiefte Kenntnisse in mathematischer Logik und Komplexitätstheorie * Sehr gute Deutsch- und Englischkenntnisse in Wort und SchriftWeitere Angebote in den Bereichen:
