(siehe auch http://www.tu-ilmenau.de/al/freie-stellen/)
An der Fakultät für Informatik und Automatisierung, Fachgebiet
Automaten und Logik (Fachgebiets-leiter Prof. Dr. Dietrich Kuske), ist
zum nächstmöglichen Zeitpunkt eine Stelle als
wissenschaftliche/r Mitarbeiter/in
für 3 Jahre zu besetzen. Die Vergütung richtet sich nach den
Bestimmungen der Tarifverträge für den Öffentlichen Dienst der Länder
(TV-L), entsprechend den persönlichen Voraussetzungen bis zur
Entgeltgruppe 13.
Aufgabengebiete
• Es sollen Forschungsarbeiten zur effektiven Modelltheorie, d.h. an
der Schnittstelle von Logik, Automaten- und Berechenbarkeitstheorie
und Komplexität, bearbeitet werden.
• Es soll die Lehre im gesamten vom Fachgebiet angebotenen Spektrum
unterstützt werden (Vorbereitung und Durchführung von Übungen;
Betreuung von Seminar- und Abschlussar-beiten; 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 Abschluss (bei Dienstantritt) in Informatik oder
Mathematik
• sehr gute Kenntnisse in Theoretischer Informatik, vorzugsweise in
einem der Gebiete Logik und Automatentheorie
• Fähigkeit zur Veröffentlichung und Präsentation von
Forschungsergebnissen im internatio-nalen Rahmen
• Bereitschaft zur selbständigen wissenschaftlichen Tätigkeit mit dem
Ziel der Weiterqualifika-tion
• wünschenswert sind Erfahrungen in der universitären Lehre
(z.B. Übungsbetreuung)
Die TU Ilmenau ist Träger des TOTAL E-Quality-Prädikats. Sie fordert
Frauen nachdrücklich zur Be-werbung auf. Schwerbehinderte haben bei
gleicher Eignung, Befähigung und fachlicher Qualifikati-on Vorrang bei
der Einstellung.
Bewerbungen mit den üblichen Unterlagen (Bewerbungsschreiben,
Lebenslauf, Zeugniskopien, ggf. Referenzen) richten Sie bitte bis zum
20.4.2015 unter der Kennziffer 14/2015 an die
Technische Universität Ilmenau
Dezernat für Personalangelegenheiten
PF 10 06 56
98684 Ilmenau.
Senden Sie diese Unterlagen bitte gleichzeitig in elektronischer Form
an Prof. Dr. Dietrich Kuske (dietrich.kuske@tu-ilmenau.de), der auch
gerne weitere Informationen erteilt.
Aus Kostengründen wird darum gebeten, die Bewerbungsunterlagen in
Kopie einzureichen. Diese verbleiben bei der TU Ilmenau und werden
nicht zurück gesandt. Nach Abschluss des Stellenbesetzungsverfahrens
werden die Unterlagen nicht berücksichtigter Bewerber 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.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
