Karlsruhe Institute of Technology 
Karlsruhe, Germany Avviso sulla lingua
Questa opportunità sembra pubblicata in German. Poiché l’annuncio è scritto in una lingua locale, leggi con attenzione la pubblicazione ufficiale per capire se per questa posizione è richiesta la conoscenza di German.
Sintesi dell’opportunità
The Karlsruhe Institute of Technology invites a PhD candidate for a full‑time research position in formal verification of decentralized systems. The role focuses on modeling and formalizing “Local‑First” systems such as Matrix, verifying security properties—especially access control—and publishing results at international conferences. Candidates should hold a strong M.Sc. in computer science or a related field, possess deep knowledge of distributed and formal systems, and ideally have experience with Rust or Lean. Excellent analytical skills, a keen interest in scientific research, and fluency in English and German are required. The annual gross salary ranges from €59,300 to €63,600.
Generata dal contenuto memorizzato dell’opportunità. Verifica sempre i dettagli nell’annuncio ufficiale.
Descrizione del progetto
Your tasks
- 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
Your profile
- 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)
