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

Modellierung und Formalisierung dezentraler Systeme, insbesondere sogenannter "Local-First Systeme" wie etwa MatrixFormale Verifikation von Sicherheitseigenschaften, insbesondere der ZugriffskontrolleVeröffentlichung und Präsentation der Forschungsergebnisse auf internationalen KonferenzenMitwirkung im Topic "Core Informatics" des Forschungsbereichs "Information" der Helmholtz-GemeinschaftSehr guter Universitätsabschluss (M.Sc.) in Informatik oder einem verwandten StudienfachFundierte Kenntnisse in verteilten und formalen SystemenKenntnisse von Rust oder Lean sind von VorteilAusgeprägte analytische FähigkeitenAusgeprägtes Interesse an wissenschaftlicher ForschungSehr gute Ausdrucksfähigkeit in Englisch und Deutsch in Wort und SchriftIhre AufgabenModellierung und Formalisierung dezentraler Systeme, insbesondere sogenannter "Local-First Systeme" wie etwa MatrixFormale Verifikation von Sicherheitseigenschaften, insbesondere der ZugriffskontrolleVeröffentlichung und Präsentation der Forschungsergebnisse auf internationalen KonferenzenMitwirkung im Topic "Core Informatics" des Forschungsbereichs "Information" der Helmholtz-GemeinschaftIhr ProfilSehr guter Universitätsabschluss (M.Sc.) in Informatik oder einem verwandten StudienfachFundierte Kenntnisse in verteilten und formalen SystemenKenntnisse von Rust oder Lean sind von VorteilAusgeprägte analytische FähigkeitenAusgeprägtes Interesse an wissenschaftlicher ForschungSehr gute Ausdrucksfähigkeit in Englisch und Deutsch in Wort und SchriftWir bietenForschung 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.ArbeitsortKarlsruhe (und Eggenstein-Leopoldshafen)EingruppierungEG 13 TV-L; die Eingruppierung erfolgt entsprechend den persönlichen und fachlichen Voraussetzungen.Vertragsdauer3 JahreFachliche Auskünfte erteilt Ihnen gerneProf. Dr. rer. nat. Hannes Hartensteinhannes.hartenstein@kit.eduBei allgemeinen Fragen zur Bewerbung wenden Sie sich bitte anKimberley BenderPersonalservice (PSE)kimberley.bender@kit.edu+49 721 608-45411Am 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.Bewerbungsfrist22.10.2026 #J-18808-Ljbffr