Doktorand - Doktorandin Informatik oder Mathematik

Sonderforschungsbereich KIT Grundlagenforschung Cyber Physische Systeme

Direkt bewerben Fragen stellen PDF anzeigen

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
Direkt bewerben Fragen stellen PDF anzeigen
logo_actuell

Bauingenieure (m/w/d) für bautechnische Straßenbahnunterhaltung...

Bauingenieure (m/w/d) für bautechnische Straßenbahnunterhaltung in NRW gesucht

Stellenangebote IT-Projektmanager (m/w/d) für...

Krankenhausinformatiker:innen – Medizininformatiker:innen für Projektentwicklung KIS/KAS und Zukunftsausrichtung der Klinik gesucht

Nuklearmediziner:in für Oberarztstelle gesucht

Institut für Radiologie, Neuroradiologie und Nuklearmedizin in Bayern - Großkrankenhaus der Maximalversorgung

Strategisches & medizinisches Controlling – Stellen mit...

Leitungskraft und Fachkraft für Unternehmenssteuerung in einer Klinik im Rheinland gesucht

12 Kandidat:innen für Spezial-Vakanz öffentlicher Dienst

Unsere Headhunter:innen versetzen Kunden in exzellente Ausgangslage für das Assessment Verfahren einer Managementposition

4 Jahre erfolglos – gemeinsam in 4 Monaten bis Stellenbesetzung!

Fachbereichsleitungen für Stadtentwicklung und Gebäudeentwicklung erfolgreich rekrutiert – Top-Kandidat:innen für Auswahlverfahren

Deutschlandweit Stadtplaner:innen für Entwicklung &...

Unser Personalberater-Team rekrutiert aktuell Ingenieur:innen und Architekt:innen für vielfältige Arbeitgeber des öffentlichen Dienstes

Stellenausschreibung Fachbereichsleitung Kindertagesstätten –...

Unsere Headhunter:innen unterstützen bei Direct Search für Betreuung und Verwaltung der kommunalen KITAs

Besonders gefragt: Bauingenieur:innen und Architekt:innen für...

Stadt in Hessen mit Großbaumaßnahmen und Fachhochschule in Niedersachsen mit ungewöhnlichen Gebäuden suchen Leitungskräfte