Lehrkraft für besondere Aufgaben - Mathematische Logik (MaLo) (w/m/d) [V000008167]

TN Germany; Aachen; Vor Ort; EUR 40.000 - 60.000; Vollzeit

Zusammenfassung

Die RWTH Aachen sucht eine Lehrkraft für besondere Aufgaben im Bereich Mathematische Logik. Die Position umfasst Lehre und Forschung in der theoretischen Informatik, insbesondere Logik und Komplexitätstheorie. Bewerber sollten eine abgeschlossene Promotion und mehrjährige Lehrerfahrung mitbringen.

Qualifikationen

• Abgeschlossene Promotion in relevanten Bereichen.
• Mehrjährige Lehrerfahrung in theoretischer Informatik.
• Veröffentlichungen in Konferenzen oder Zeitschriften.

Aufgaben

• Betreuung der Grundvorlesung Logik in der Informatik.
• Angebot weiterführender Vorlesungen und Seminare.
• Forschung im Bereich Logik in der Informatik.

Kenntnisse

Lehrerfahrung

Forschungserfahrung

Deutschkenntnisse

Englischkenntnisse

Ausbildung

Promotion im Bereich der endlichen Modelltheorie oder deskriptiven Komplexitätstheorie

Jobbeschreibung

Lehrkraft für besondere Aufgaben - Mathematische Logik (MaLo) (w/m/d) [V000008167], Aachen

RWTH Aachen University

Aachen, Germany

Die Fachgruppe Informatik der Fakultät für Informatik, Mathematik und Naturwissenschaften der RWTH Aachen ist ein in Wissenschaft und Lehre exzellenter Fachbereich der RWTH Aachen mit mehr als 40 Professuren, und mehr als 5000 Studierenden. Im Kontext der rasant wachsenden wissenschaftlichen und gesellschaftlichen Bedeutung der Informatik wird der Fachbereich strukturell gestärkt.

In Forschung und Lehre vertritt der Lehrstuhl 7 (Logik und Theorie diskreter Systeme) ein breites Spektrum von Themen der theoretischen Informatik, insbesondere aus der Logik, der Komplexitätstheorie, der Algorithmik und der Automatentheorie. Von besonderem Interesse sind für uns die zahlreichen Verbindungen zwischen diesen Gebieten.

• abgeschlossene Promotion im Bereich der endlichen Modelltheorie, der deskriptiven Komplexitätstheorie oder Anwendungen von Logik in der Algorithmik
• Mehrjährige breite Lehrerfahrung im Bereich der theoretischen Informatik
• Mehrjährige Erfahrung in der Betreuung von Abschlussarbeiten und dem Übungsbetrieb
• Forschungserfahrung im Bereich mathematischer Logik
• Veröffentlichungen in federführenden Konferenzen oder Zeitschriften
• Sehr gute Deutsch- und Englischkenntnisse
• Sie sind bereit, am Angebot "Lehren an der RWTH" von Excellent Academic Teaching am Center für Lehr- und Lernservices (CLS) teilzunehmen.

Ihre Aufgaben

Der Einsatz erfolgt überwiegend in der Lehre im Bereich Logik in der Informatik mit einer Lehrverpflichtung von 12 SWS:

• Betreuung der Grundvorlesung Logik in der Informatik,
• Angebot weiterführender Vorlesungen, Praktika, Seminare im Bereich Logik in der Informatik, Graphentheorie, und Komplexitätstheorie
• Betreuung von Abschlussarbeiten.

Forschung: im Bereich Logik in der Informatik und allgemeiner Theoretischer Informatik.

Unser Angebot

Die Einstellung erfolgt im Beschäftigtenverhältnis.
Die Stelle ist zum nächstmöglichen Zeitpunkt zu besetzen und unbefristet.
Es handelt sich um eine Vollzeitstelle.
Die Eingruppierung richtet sich nach dem TV-L.
Die Stelle ist bewertet mit EG 13 TV-L.