Fakultät IV - Elektrotechnik und Informatik, Institut für Softwaretechnik und Theoretische Informatik / FG Modelle und Theorie Verteilter Systeme (MTV)
Wiss. Mitarbeiter*in (d/m/w) - Entgeltgruppe 13 TV-L Berliner Hochschulen - 1. Qualifizierungsphase (zur Promotion)
Teilzeitbeschäftigung ist ggf. möglich
Ihre Aufgaben
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).
Ihr Profil
1. Erfolgreich abgeschlossenes wissenschaftliches Hochschulstudium (Master, Diplom oder Äquivalent) der Informatik
2. Sehr gute Kenntnisse in Theoretischer Informatik, insbesondere im Bereich Formale Semantik und Formale Methoden
3. Kenntnisse und substanzielle Erfahrung in der Benutzung von interaktiven Theorempüfern (z.B. Isabelle/HOL)
4. Kenntnisse in der Entwicklung von (semi-) automatischen Analysewerkzeugen (z.B. Simulation oder Verifikation)
5. Solide Erfahrung im sicheren Umgang mit Techniken des Softwareprojektmanagements
6. Die Fähigkeit zum Unterrichten in deutscher und/oder in englischer Sprache wird vorausgesetzt; Bereitschaft, die jeweils fehlenden Sprachkenntnisse zu erwerben
7. Selbständiges Arbeiten wünschenswert
8. 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
9. Exzellente Kommunikationsfähigkeit ist erwünscht