Wissenschaftliche Mitarbeiterin / Wissenschaftlicher Mitarbeiter (w/m/d) Formale Verifikation Dezentraler Systeme in Karlsruhe

Ihre Aufgaben

• Modellierung und Formalisierung dezentraler Systeme, insbesondere sogenannter "Local-First Systeme" wie etwa Matrix




• Formale Verifikation von Sicherheitseigenschaften, insbesondere der Zugriffskontrolle




• Veröffentlichung und Präsentation der Forschungsergebnisse auf internationalen Konferenzen




• Mitwirkung im Topic "Core Informatics" des Forschungsbereichs "Information" der Helmholtz-Gemeinschaft

Ihr Profil

• Sehr guter Universitätsabschluss (M.Sc.) in Informatik oder einem verwandten Studienfach




• Fundierte Kenntnisse in verteilten und formalen Systemen




• Kenntnisse von Rust oder Lean sind von Vorteil




• Ausgeprägte analytische Fähigkeiten




• Ausgeprägtes Interesse an wissenschaftlicher Forschung




• Sehr gute Ausdrucksfähigkeit in Englisch und Deutsch in Wort und Schrift

Wir bieten

• Forschung mit Wirkung: Arbeiten Sie an Themen von gesellschaftlicher Relevanz - in einem exzellenten wissenschaftlichen Umfeld, das Veränderungen möglich macht.




• Karriere und Entwicklung: Wir unterstützen Sie mit einer strukturierten Einarbeitung, vielfältigen Weiterbildungsmöglichkeiten und individueller Förderung. So stärken wir Ihr persönliches Wachstum.




• Flexible Arbeitszeitgestaltung: Nutzen Sie Gleitzeit, mobiles Arbeiten und 30 Tage Urlaub für eine optimale Work-Life-Balance.




• Familienfreundlichkeit: Das Programm "KIT-Family +" unterstützt Sie bei der Vereinbarkeit von Familie und Beruf - durch Kinderbetreuung, Ferienangebote, ein Eltern-Kind-Büro und Hilfe bei der Angehörigenpflege.




• Gesundheit: Unter dem Motto "Fit im KIT - mit Körper, Geist und Seele" fördern wir Ihre Gesundheit mit Sportkursen und Angeboten zur psychischen Gesundheit.




• Individuelle Zusatzleistungen: Profitieren Sie von einer betrieblichen Altersvorsorge (VBL), einem monatlichen Zuschuss von 25 Euro zum Jobticket BW sowie vielfältigen Angeboten rund um Kultur und Freizeit.

Arbeitsort
Karlsruhe (und Eggenstein-Leopoldshafen)

Eingruppierung
EG 13 TV-L; die Eingruppierung erfolgt entsprechend den persönlichen und fachlichen Voraussetzungen.

Vertragsdauer
3 Jahre

Fachliche Auskünfte erteilt Ihnen gerne
Prof. Dr. rer. nat. Hannes Hartenstein
hannes.hartenstein@kit.edu

Bei allgemeinen Fragen zur Bewerbung wenden Sie sich bitte an
KimberleyBender
Personalservice (PSE)
kimberley.bender@kit.edu
+49 721 608-45411

Am KIT schätzen wir die Vielfalt unserer Mitarbeitenden -unterschiedliche Perspektiven und Hintergründe sind eine Bereicherung für unsere Arbeit. Wir freuen uns daher über alle Bewerbenden. Frauen sind besonders zur Bewerbung eingeladen.Bewerbungen von anerkannt schwerbehinderten Menschen werden bei gleicher Eignung bevorzugt berücksichtigt.

Bewerbungsfrist: 22.10.2026
Ausschreibungsnummer:1237/2026