Doktorandin / Doktorand, Wissenschaftliche Mitarbeiterin / Wissenschaftlicher Mitarbeiter (w/m/d) Formale Verifikation Dezentraler Systeme
KIT Karlsruhe, Germany
- Institution
- KIT Karlsruhe
- Country
- Germany
- Position type
- Research Assistant
- Subject area
- Computer Science & AI
- Application deadline
- 22 October 2026
- Location
- Karlsruhe, Baden-Württemberg, DE
- Funding
- Fully funded position
Want to be the strongest applicant for this position?
Book a free 15-minute call with our team. We will look at your profile against what KIT Karlsruhe is actually looking for, and tell you honestly where you stand and what to strengthen before you apply.
Book a free call about this position →No cost, no obligation. Mentors who have secured funded PhD positions themselves.
How our PhD admission mentorship works →
We mentor STEM applicants only. If your research aspirations are outside STEM subjects, you're very welcome to use this board and apply directly; we just aren't the right people to mentor you.
About this position
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 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)
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 hannes.hartenstein@kit.edu |
Bei allgemeinen Fragen zur Bewerbung wenden Sie sich bitte an
Kimberley Bender
Personalservice (PSE)
kimberley.bender@kit.edu
+49 721 608-45411
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
Ausschreibungsnummer: 1237/2026
Apply directly to KIT Karlsruhe
Emerging Scholars Council is not the employer and does not recruit for this position. It is advertised by KIT Karlsruhe, and your application goes to them. We help students prepare and strengthen their applications.
Go to the official application page →Applications close 22 October 2026.
Contact listed in the advert
Some positions — especially in Germany, Austria and Switzerland — are filled by writing directly to the supervisor rather than through an online form. These addresses were taken from the advert text, so check them against the official listing before you write.
A cold email to a supervisor is the highest-leverage thing you can send — and the easiest to get wrong. Ask us to look at yours before you hit send.