Ausschreibung (siehe auch https://www.tu-ilmenau.de/al/) An der Fakultät für Informatik und Automatisierung ist im Fachgebiet Automaten und Logik (Fachgebietsleiter Prof. Dr. Dietrich Kuske) zum 1. Oktober 2018 eine Stelle als wissenschaftliche/r Mitarbeiter/in für 3 Jahre zu besetzen. Die Vergütung erfolgt nach den Bestimmungen der Tarifverträge für den öffentlichen Dienst der Länder (TV-L). Die Stelle ist mit Entgeltgruppe E 13 bewertet. Aufgabengebiete • Es sollen Forschungsarbeiten an der Schnittstelle von Automatentheorie und Logik bearbeitet werden. • Es soll die Lehre im gesamten vom Fachgebiet angebotenen Spektrum, insbesondere zur Automatentheorie und zur Logik in der Informatik, unterstützt werden (Vorbereitung und Durchführung von Übungen; Betreuung von Bachelor- und Masterarbeiten; Unterstützung bei der Durchführung von Prüfungen). • Die Übernahme von organisatorischen und Selbstverwaltungsaufgaben im üblichen Rahmen wird erwartet. Einstellungsvoraussetzungen Wir erwarten von Ihnen: • einen sehr guten wissenschaftlichen Hochschulabschluss in Informatik oder Mathematik • sehr gute Kenntnisse in Theoretischer Informatik, vorzugsweise in der Automatentheorie oder der Logik • Fähigkeit zur Veröffentlichung und Präsentation von Forschungsergebnissen im internationalen Rahmen • Bereitschaft zur selbständigen wissenschaftlichen Tätigkeit mit dem Ziel der Weiterqualifikation • sehr gute Deutschkenntnisse Die befristete Beschäftigung erfolgt zur Förderung der eigenen wissenschaftlichen Qualifizierung (Promotion). Die TU Ilmenau ist Träger des TOTAL E-Quality-Prädikats. Sie fordert Frauen nachdrücklich zur Bewerbung auf. Schwerbehinderte haben bei gleicher Eignung, Befähigung und fachlicher Qualifikation Vorrang bei der Einstellung. Bewerbungen mit den üblichen Unterlagen (Bewerbungsschreiben, Lebenslauf, Zeugniskopien, ggf. Referenzen) richten Sie bitte unter der Kennziffer 73/2018 an die Technische Universität Ilmenau Dezernat für Personal und Recht Postfach 10 05 65 98684 Ilmenau Deutschland bzw. an: bewerbung@tu-ilmenau.de. (Anlagen bitte im pdf-Format zusammengefasst in einer Datei anfügen) Eingehende Bewerbungen werden bis zum 1. September 2018 berücksichtigt. Für weitere Informationen können Sie sich gerne an Professor Kuske (dietrich.kuske@tu-ilmenau.de), wenden (auch telefonisch unter 03677 691444). Aus Kostengründen wird darum gebeten, die Bewerbungsunterlagen in Kopie einzureichen. Diese verbleiben bei der TU Ilmenau und werden nicht zurückgesandt. Nach Abschluss des Stellenbesetzungsverfahrens werden die Unterlagen nicht berücksichtigter Bewerber/-innen vernichtet. Bei gewünschter Rücksendung der Unterlagen bitten wir, der Bewerbung einen adressierten und ausreichend frankierten Rückumschlag beizufü- gen. Die Ihnen durch die Bewerbung entstandenen Kosten werden durch die TU Ilmenau nicht übernommen. -- Prof. Dr. Dietrich Kuske | FG Automaten und Logik | Tel +49 (0)3677 69 1444 TU Ilmenau | dietrich.kuske@tu-ilmenau.de PF 10 05 65 | http://eiche.theoinf.tu-ilmenau.de/kuske D-98684 Ilmenau | www.kleines-paradies-buelow.de