Stellenticket Bauhaus-Universität Weimar

• Research and teaching at the research group Logic and Semantics
• Participation in one of the group's research projects on digraph minors and their interplay with matching minor theory or algorithmic model theory, especially model-checking for first-order logic on dense graph classes
• Support the teaching activities of the research group. In particular, organising and teaching classes for the undergraduate courses on logic and discrete structures

• Successfully completed university degree (Master, Diplom or equivalent) in Computer Science or Mathematics
• A solid background in one of the research topics pursued in the group, such as structural graph theory, especially graph minor theory, and the theory of directed graphs or computational and finite model theory
• The ability to teach in German and/or in English is required; willingness to acquire the respective missing language skills

Desirable:

• A strong interest in theoretical computer science
• A passion for teaching and working with students
• Experience as a tutor or study group supervisor

For further inquiries please contact Prof. Dr. Stephan Kreutzer; email: stephan.kreutzer@tu-berlin.de, phone: +49 30 314 29088.

Please send your application with the reference number and the usual documents to Prof. Dr. Stephan Kreutzer by email (single pdf-file; max. 5 MB) to jana.pilz@tu-berlin.de or by mail to Technische Universität Berlin - Die Präsidentin - Fakultät IV, Institut für Softwaretechnik und Theoretische Informatik, FG Logik und Semantik, Prof. Dr. Stephan Kreutzer, Sekr. EN 25, Einsteinufer 17, 10587 Berlin.

Please send copies only. Original documents will not be returned.

By submitting your application via email you consent to having your data electronically processed and saved. Please note that we do not provide a guarantee for the protection of your personal data when submitted as an unprotected file. Please find our data protection notice acc. DSGVO (General Data Protection Regulation) at the TU staff department homepage: https://www.abt2-t.tu-berlin.de/menue/themen_a_z/datenschutzerklaerung/ or quick access 214041.

To ensure equal opportunities between women and men, applications by women with the required qualifications are explicitly desired. Qualified individuals with disabilities will be favored. The TU Berlin values the diversity of its members and is committed to the goals of equal opportunities. Applications from people of all nationalities and with a migration background are very welcome.