Stellenticket Humboldt-Universität zu Berlin

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
• Kenntnisse und substanzielle Erfahrung in der Benutzung von interaktiven Theorempüfern (z.B. Isabelle/HOL)
• Kenntnisse in der Entwicklung von (semi-) automatischen Analysewerkzeugen (z.B. 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
• Selbständiges Arbeiten wünschenswert
• Vertiefte Kenntnisse bzgl. der Modellierung und Verifikation in den Bereichen „Nebenläufigkeitstheorie" und „Verteilte Systeme" erwünscht
  Kenntnisse in „Prozesskalküle", „Ereignisstrukturen" oder „Fehlertolerante Verteilte Algorithmen" von Vorteil
• Exzellente Kommunikationsfähigkeit ist erwünscht

Ihre Bewerbung richten Sie bitte unter Angabe der Kennziffer mit den üblichen Unterlagen ausschließlich per E-Mail (in einem gesammelten pdf-Dokument, max. 5 MB) an sekretariat@mtv.tu-berlin.de.

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/.

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.