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/