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

Karlsruhe Institute of Technology (KIT); Eggenstein-Leopoldshafen; On-site; EUR 66,000 - 98,000; Full time

Benefits offered by this job

Forschung mit Wirkung

Karriereentwicklung und Weiterbildung

Flexible Arbeitszeitgestaltung (Gleit-

Familienfreundlichkeit KIT-Family+

Gesundheit und Wellness

Zusatzleistungen (VBL, Jobticket BW)

Job summary

Der Karlsruher Institut für Technologie (KIT) sucht eine/n Forscher/in im Bereich verteilte und formale Systeme. Sie modellieren dezentrale Systeme, führen formale Verifikation durch und veröffentlichen Ergebnisse auf internationalen Konferenzen.

Sie bringen einen M.Sc. in Informatik oder einem verwandten Fach mit, verfügen über fundierte Kenntnisse in verteilten/Systemen, kennen Rust oder Lean und zeigen starke analytische Fähigkeiten sowie großes Interesse an wissenschaftlicher Forschung.

Qualifications

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

Responsibilities

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

Skills

Verteilte Systeme

Formale Systeme

Rust

Lean

Analytische Fähigkeiten

Englisch/Deutsch Ausdrucksfähigkeit

Education

M.Sc. in Informatik oder verwandtem Studienfach

Tools

Rust

Lean

Job description

• 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
• 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

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

[e-mail]

Bei allgemeinen Fragen zur Bewerbung wenden Sie sich bitte an

Kimberley Bender

Personalservice (PSE)

[e-mail]

[phone]

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