Karlsruhe Institute of Technology 
Karlsruhe, Germany Aviso de língua
Esta oportunidade parece estar publicada em German. Como a oferta está escrita numa língua local, leia com atenção o anúncio oficial para perceber se são exigidos conhecimentos de German para esta posição.
Resumo da oferta
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.
Gerado a partir do conteúdo guardado da oferta. Confirme sempre os detalhes no anúncio oficial.
Descrição do projeto
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)
