Doktorand - Doktorandin Informatik oder Mathematik

Das KIT - Karlsruhe

Das Karlsruher Institut für Technologie (KIT) ist eine der größten Forschungseinrichtungen in Deutschland. Es entstand 2009 aus dem Zusammenschluss der Universität Karlsruhe mit dem Forschungszentrum Karlsruhe.

Das KIT bietet ein breites Spektrum an Studiengängen in den Bereichen Naturwissenschaften, Ingenieurwissenschaften, Wirtschafts- und Geisteswissenschaften. Mit seiner starken Ausrichtung auf Forschung und Innovation zählt das KIT zu den führenden Technischen Universitäten in Europa.

Arbeitsplatz im Sonderforschungsbereich

Im Rahmen des Sonderforschungsbereichs 1608 „Convide - Konsistenz in der sichtbasierten Entwicklung von Cyber-Physical Systems“, gefördert durch die Deutsche Forschungsgemeinschaft (DFG), bietet das Karlsruher Institut für Technologie (KIT) spannende Einstiegsmöglichkeiten für engagierte Wissenschaftlerinnen und Wissenschaftler.

Aufgabenstellung

• Entwicklung und Implementierung von Verfahren zur formalen Verifikation in der Entwicklung von Cyber-Physical Systems.
• Mitarbeit in einem interdisziplinären Team von Forschenden.
• Publikation und Präsentation von Forschungsergebnissen auf internationalen Konferenzen und in Fachzeitschriften.
• Möglichkeit zur Lehre und Betreuung von Studierenden.

Ausbildung & Qualifikation (m/w/d)

• Erfolgreich abgeschlossenes Hochschulstudium (Master oder vergleichbar) in Informatik, Mathematik oder einem verwandten Fachbereich. 
• Starke analytische Fähigkeiten und tiefgehendes Interesse an formaler Verifikation und Cyber-Physical Systems
• Erfahrung mit Programmiersprachen und formalen Methoden.
• Teamfähigkeit, Eigeninitiative und ausgezeichnete Kommunikationsfähigkeiten in Englisch

Vertragsangebot

• Einen innovativen Forschungsauftrag
• Ein dynamisches Forschungsumfeld.
• Zugang zu modernster Forschungsinfrastruktur
• Förderung von wissenschaftlicher Weiterbildung und Karriereentwicklung. 
• Attraktive Vergütung gemäß TV-L