Technische Universität Berlin
Fakultät IV - Institut für Softwaretechnik und Theoretische Informatik / FG Modelle und Theorie Verteilter Systeme (MTV)
Bei der Technischen Universität Berlin ist/sind folgende Stelle/n zu besetzen:
Wiss. Mitarbeiter*in (d/m/w) - Entgeltgruppe 13 TV-L Berliner Hochschulen - 1. Qualifizierungsphase (zur Promotion)
Teilzeitbeschäftigung ist ggf. möglich
Aufgabenbeschreibung
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).
Erwartete Qualifikationen
- 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.
Hinweise zur Bewerbung
Per Post: Technischen Universität Berlin - Die Präsidentin - Fakultät IV, Institut für Softwaretechnik und Theoretische Informatik, Fachgebiet FG Modelle und Theorie Verteilter Systeme, Sekr. EN 24, Einsteinufer 17, 10587 Berlin 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.
Fakten
Veröffentlicht | 06.12.2024 |
---|---|
Anzahl Angestellte | ca. 7000 |
Kategorie | Graduierten-Stelle, Wiss. Mitarbeiter*in, Promotions-Stelle |
Standort | Deutschland, Berlin, Berlin, Charlottenburg |
Aufgabengebiet | Informatik |
Beginn frühestens | 01.02.2025 |
Dauer | befristet bis 31.01.2030 |
Umfang | 100% Arbeitszeit; Teilzeitbeschäftigung ggf. möglich |
Vergütung | Entgeltgruppe E13 |
Homepage | http://www.tu-berlin.de |
Anforderungen
Abschluss | Master, Diplom oder Äquivalent |
---|
Kontakt
Kennziffer | IV-658/24 |
---|---|
Kontakt-Person | Prof. Dr.-Ing. Uwe Nestmann |
Kontakt-E-Mail | uwe.nestmann@tu-berlin.de |
Bewerben
Bewerbungsfrist | 03.01.2025 |
---|---|
Kennziffer | IV-658/24 |
per Post | Technische Universität Berlin
|
per E-Mail | sekretariat@mtv.tu-berlin.de |