---

Bei der Technischen Universität Berlin ist/sind folgende Stelle/n zu besetzen:

Wiss. Mitarbeiter/in - Entgeltgruppe 13 TV-L Berliner Hochschulen - 1. Qualifizierungsphase (zur Promotion)

Teilzeitbeschäftigung ist ggf. möglich Fakultät IV - Institut für Softwaretechnik und Theoretische Informatik/ FG Modelle und Theorie Verteilter Systeme Kennziffer: IV-695/16 (besetzbar ab 01.03.2017 / für 5 Jahre / Bewerbungsfristende 27.01.2017) Aufgabenbeschreibung:
Aktive Mitarbeit in Forschung, Lehre und Betrieb eines Fachgebietes. Erwartete Qualifikationen:

• erfolgreich abgeschlossenes wissenschaftliches Hochschulstudium (Diplom, Master oder Äquivalent) der Informatik
• sehr gute Kenntnisse in Theoretischer Informatik, insbesondere Semantik und Logik
• vorzugsweise vertiefte Vorkenntnisse bzgl. der Modellierung und/oder Verifikation in den Bereichen "Verteilte Systeme", insbesondere "Prozesskalküle"
• Bereitschaft zur Benutzung und Entwicklung von (semi-)automatischen Verifikationswerkzeugen
• selbständiges Arbeiten, exzellente Kommunikationsfähigkeit sowie sehr gute englische Sprachkenntnisse

Ihre schriftliche Bewerbung richten Sie bitte unter Angabe der Kennziffer mit den üblichen Unterlagen an die Technische Universität Berlin – Der Präsident –, Fakultät IV, Institut für Softwaretechnik und Theoretische Informatik, FG Modelle und Theorie Verteilter Systeme, Prof. Dr. Nestmann, Sekr. TEL 7-2, Ernst-Reuter-Platz 7, 10587 Berlin oder per E-Mail an margit.russ@tu-berlin.de Zur Wahrung der Chancengleichheit zwischen Männern und Frauen sind Bewerbungen von Frauen mit der jeweiligen Qualifikation ausdrücklich erwünscht. Schwerbehinderte werden bei gleicher Eignung bevorzugt berücksichtigt. Aus Kostengründen werden die Bewerbungsunterlagen nicht zurückgesandt. Bitte
reichen Sie nur Kopien ein. Die Stellenausschreibung ist auch im Internet abrufbar unter
http://www.personalabteilung.tu-berlin.de/menue/jobs/