Unser Profil
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.
Ihr Profil
1. abgeschlossene Promotion im Bereich der endlichen Modelltheorie, der deskriptiven Komplexitätstheorie oder Anwendungen von Logik in der Algorithmik
2. Mehrjährige breite Lehrerfahrung im Bereich der theoretischen Informatik
3. Mehrjährige Erfahrung in der Betreuung von Abschlussarbeiten und dem Übungsbetrieb
4. Forschungserfahrung im Bereich mathematischer Logik
5. Veröffentlichungen in federführenden Konferenzen oder Zeitschriften
6. Sehr gute Deutsch- und Englischkenntnisse
7. 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:
8. Betreuung der Grundvorlesung Logik in der Informatik,
9. Angebot weiterführender Vorlesungen, Praktika, Seminare im Bereich Logik in der Informatik, Graphentheorie, und Komplexitätstheorie
10. 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.