分布式系统形式化验证博士研究员（科研助理，EG 13 TV-L）
Doktorandin / Doktorand, Wissenschaftliche Mitarbeiterin / Wissenschaftlicher Mitarbeiter (w/m/d) Formale Verifikation Dezentraler Systeme
原帖优先：申请材料、截止时间与资格以原帖和学校官方说明为准。
AI 中文速览
- 研究内容
- 从事分布式系统（特别是“Local-First”系统如Matrix）的建模、形式化、安全性（尤其是访问控制）的形式化验证，并在国际会议上发表和展示研究成果，同时参与亥姆霍兹联合会“信息”研究领域中“核心信息学”主题的工作。
- 申请条件
- 申请者需拥有计算机科学或相关学科的极佳大学硕士学位（M.Sc.），具备分布式和形式化系统的扎实知识，对科学研究和攻读博士学位有浓厚兴趣，并具备流利的英语和德语口头及书面表达能力；掌握Rust或Lean语言为加分项。
- 待遇
- 提供为期3年的EG 13 TV-L薪级雇佣合同（年薪约59300至63600欧元），享有灵活工作时间、弹性工作制、远程办公、30天年假、企业养老金（VBL）、Jobticket BW津贴以及全面的家庭友好与健康促进项目。
- 申请方式
- 请通过指定的申请渠道提交全套申请材料，截止日期为2026年10月22日。
- 材料清单
- 简历
- 动机信或求职信
- 学士与硕士学位证书及包含各门成绩的成绩单
- 其他相关文件（例如工作证明、证书或证明材料）
由 gemini-2.5-flash-lite 生成，博士岗判定置信度 100%。
岗位信息
- 截止
- （Europe/Berlin） 剩 6 天
- 学科
- 计算机科学
- 合同类型
- 雇佣合同
- 薪资制度
- 德国各州公共服务集体工资协议（TV-L） · E 13
- 原帖薪资说明
- EG 13 TV-L
- 原文薪资
- EUR 59,300–63,600 / 年（税前）
- 原帖发布
- 本站收录
- 内容更新
- 原帖导师候选（待核验）
- Prof. Dr. rer. nat. Hannes Hartenstein
- 来源
- Karlsruher Institut für Technologie 官方招聘 · 最近核对 2026-10-15
- 详情核验
薪资与生活预算（估算）
- 税前月薪
- 约 EUR 4,942–5,300 / 月
- 税后月薪（情景估算）
- 约 EUR 3,262–3,498 / 月 ≈ ¥25,768–27,634 / 月
按税前扣除 34% 试算，包含所得税与雇员社保的简化预算；不代表个人实际税率。
- 月租预算
- EUR 550 / 月（比较情景，非所在城市或德国平均租金）
- 扣房租后（估算）
- 约 ¥21,423–23,289 / 月
仅减房租，尚未扣除食品、交通、水电等其他生活费。
计算依据与调整预算
单身、无子女、无教会税的比较情景；34%为本站假设，不是税级I的固定税率或完整德国工资税计算。实际扣除取决于税级、医保、社保及补充养老等。 德国财政部工资税计算器 ↗只计算相关税额，社保等需另计。
税后 = 税前 ×（1 − 扣除比例）；人民币 = 税后欧元 × 汇率；房租后 =（税后欧元 − 房租）× 汇率。汇率 7.9 为情景输入，未核验为实时牌价，房租 550 欧元为预算假设。
参数只在当前页面试算，不上传服务器，不改变原帖数据。
判定依据（原文摘录）
- 这是一项博士培养机会
Doktorandin / Doktorand, Wissenschaftliche Mitarbeiterin / Wissenschaftlicher Mitarbeiter (w/m/d) Formale Verifikation Dezentraler Systeme
- 要求硕士学位
Sehr guter Universitätsabschluss (M.Sc.) in Informatik oder einem verwandten Studienfach
- 需要德语和英语能力
Sehr gute Ausdrucksfähigkeit in Englisch und Deutsch in Wort und Schrift
原文
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.
-->
• 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