Karlsruhe Institute of Technology 
Karlsruhe, Germany Sprachhinweis
Diese Stelle scheint auf German ausgeschrieben zu sein. Da das Angebot in einer Landessprache verfasst ist, prüfen Sie die offizielle Ausschreibung bitte sorgfältig daraufhin, ob German-Kenntnisse für diese Stelle erwartet werden.
Angebotszusammenfassung
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.
Erstellt aus gespeicherten Angebotsinhalten. Prüfen Sie die Details immer in der offiziellen Ausschreibung.
Projektbeschreibung
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)
