Stellenticket Bauhaus-Universität Weimar

Erfolgreiche Kandidat*innen arbeiten aktiv in Forschung, Lehre und Betrieb eines Lehrstuhls im Bereich der Theoretischen Informatik mit. In der Forschung kooperieren sie zu den aktuellen Kernthemen des Fachgebiets wie Verteilte Algorithmen, syntaktische und graphische Modelle für verteilte Systeme, Formale Semantik, Typsysteme sowie rechnergestützte (interaktive und automatische) Verifikationstechniken. In der Lehre ist die Mitarbeit in der Konzeption und Durchführung von Modulen vor allem im deutschsprachigen Bachelorstudiengang „Informatik" gefordert, die speziell Kenntnisse und Kompetenzen im Bereich der Theoretischen Informatik vermitteln. Bewerber*innen haben ein nachweislich ausgeprägtes Interesse an guter und innovativer Lehre. Sie sind in allen Bereichen in der Lage selbständig zu arbeiten und zeigen eine Affinität zur Nutzung von Theorembeweisern sowie zur prototypischen Implementierung der Ergebnisse ihrer theoretischen Arbeit (Modelle, Semantiken, Algorithmen, etc).

• Erfolgreich abgeschlossenes wissenschaftliches Hochschulstudium (Master, Diplom oder Äquivalent) der Informatik
• Sehr gute Kenntnisse in Theoretischer Informatik, insbesondere im Bereich Formale Semantik und Formale Methoden
• Vertiefte Kenntnisse bzgl. der Modellierung und Verifikation in den Bereichen „Nebenläufigkeitstheorie" und „Verteilte Systeme", insbesondere „Prozesskalküle", „Ereignisstrukturen" oder „Fehlertolerante Verteilte Algorithmen"
• Kenntnisse und substanzielle Erfahrung in der Benutzung von interaktiven Theoremprüfern (zum Beispiel: Isabelle/HOL) und der Entwicklung von (semi-) automatischen Analysewerkzeugen (Simulation oder Verifikation)
• Solide Erfahrung im sicheren Umgang mit Techniken des Softwareprojektmanagements
• Die Fähigkeit zum Unterrichten in deutscher und/oder in englischer Sprache wird vorausgesetzt; Bereitschaft, die jeweils fehlenden Sprachkenntnisse zu erwerben

Wünschenswert:

• Selbständiges Arbeiten, exzellente Kommunikationsfähigkeit

Für weitere Informationen zur Stelle wenden Sie sich bitte an Prof. Dr.-Ing. Uwe Nestmann, email: uwe.nestmann@tu-berlin.de.

Per Post: Tech­ni­schen Uni­ver­si­tät Ber­lin - Die Prä­si­den­tin - Fakul­tät IV, Insti­tut für Soft­ware­tech­nik und Theo­re­ti­sche Infor­ma­tik, Fach­ge­biet FG Modelle und Theo­rie Ver­teil­ter Sys­teme, Sekr. EN 24, Einsteinufer 17, 10587 Ber­lin oder per email an: sekretariat@mtv.tu-berlin.de.

Aus Kostengründen werden die Bewerbungsunterlagen nicht zurückgesandt. Bitte reichen Sie nur Kopien ein.

Mit der Abgabe einer Onlinebewerbung geben Sie als Bewerber*in Ihr Einverständnis, dass Ihre Daten elektronisch verarbeitet und gespeichert werden. Wir weisen darauf hin, dass bei ungeschützter Übersendung Ihrer Bewerbung auf elektronischem Wege keine Gewähr für die Sicherheit übermittelter persönlicher Daten übernommen werden kann. Datenschutzrechtliche Hinweise zur Verarbeitung Ihrer Daten gem. DSGVO finden Sie auf der Webseite der Personalabteilung: https://www.abt2-t.tu-berlin.de/menue/themen_a_z/datenschutzerklaerung/ oder Direktzugang: 214041.

Zur Wahrung der Chancengleichheit zwischen Frauen und Männern sind Bewerbungen von Frauen mit der jeweiligen Qualifikation ausdrücklich erwünscht. Schwerbehinderte werden bei gleicher Eignung bevorzugt berücksichtigt. Die TU Berlin schätzt die Vielfalt ihrer Mitglieder und verfolgt die Ziele der Chancengleichheit. Bewerbungen von Menschen aller Nationalitäten und mit Migrationshintergrund sind herzlich willkommen.