Doktorandin / Doktorand, Wissenschaftliche Mitarbeiterin / Wissenschaftlicher Mitarbeiter (w/m/d) Formale Verifikation Dezentraler Systeme
Vor 30+ TagenDas könntest du laut kununu User:innen als Wissenschaftliche:r Mitarbeiter:in bei Karlsruher Institut für Technologie (KIT) verdienen
Der Stellenanzeigentext wurde mithilfe von kununu intelligence (ki) analysiert und strukturiert.
Deine 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
Dein 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 und an einer Promotion
- Sehr gute Ausdrucksfähigkeit in Englisch und Deutsch in Wort und Schrift
Vergütung & Benefits
Vergütung: 59300.00 bis 63600.00 EUR brutto pro Jahr
- 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.
Über den Arbeitgeber
Arbeitgeber: Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Bewerbungsprozess
Bitte reichen Sie folgende Bewerbungsunterlagen ein:
- Lebenslauf
- Motivationsschreiben bzw. Anschreiben
- Bachelor- und Masterzeugnisse einschließlich der jeweiligen Notenübersichten
- Weitere relevante Unterlagen (z. B. Arbeitszeugnisse, Zertifikate oder Nachweise)
Bewerbung und Rückfragen per E-Mail: kimberley.bender@kit.edu
Doktorandin / Doktorand, Wissenschaftliche Mitarbeiterin / Wissenschaftlicher Mitarbeiter (w/m/d) Formale Verifikation Dezentraler Systeme
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
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 und an einer Promotion
- Sehr gute Ausdrucksfähigkeit in Englisch und Deutsch in Wort und Schrift
Bitte reichen Sie folgende Bewerbungsunterlagen ein:
- Lebenslauf
- Motivationsschreiben bzw. Anschreiben
- Bachelor- und Masterzeugnisse einschließlich der jeweiligen Notenübersichten
- Weitere relevante Unterlagen (z. B. Arbeitszeugnisse, Zertifikate oder Nachweise)
Standort: Kaiserstraße 12, 76131, Karlsruhe, Deutschland
Arbeitgeber: Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Arbeitszeit: Vollzeit
Kategorie: Wissenschaft
Vergütung: 59300.00 bis 63600.00 EUR brutto pro Jahr
Ansprechperson: Frau, Kimberley, Bender, Personalbetreuung 4 (PSE-BE4), +49 721 608-45411
Bewerbung und Rückfragen per E-Mail: kimberley.bender@kit.edu
Benefits
- 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.
Ähnliche Jobs, die dich interessieren könnten
Akademische Mitarbeiterin / Akademischer Mitarbeiter (w/m/d)
