PhD student - Computer Science or Mathematics

Collaborative Research Center KIT Basic Research Cyber Physical Systems

Direkt bewerben Fragen stellen PDF anzeigen

The Karlsruhe Institute of Technology (KIT)

The Karlsruhe Institute of Technology (KIT) is one of the largest research institutes in Germany. It was founded in 2009 from the merging of the University of Karlsruhe and the Karlsruhe Research Center. The Institute offers a wide range of study programs in the fields of natural sciences, engineering, economics and humanities. With its strong focus on research and innovation, KIT is one of the leading technical universities in Europe.

Workplace in the Collaborative Research Center

As part of the Collaborative Research Center 1608 “Convide - Consistency in the vision-based development of Cyber-Physical Systems", funded by the German Research Foundation (DFG), the Karlsruhe Institute of Technology (KIT) offers exciting entry opportunities for committed scientists.

Task Definition

  • Development and implementation of methods for formal verification in the development of cyber-physical systems.
  • Collaboration in an interdisciplinary team of researchers.
  • Publication and presentation of research results at international conferences and in scientific journals.
  • Opportunity to teach and supervise students.

Education & Qualifications (m/f/d)

  • Successfully completed university degree (Master's or comparable) in computer science, mathematics or a related field.
  • Strong analytical skills and profound interest in formal verification and cyber-physical systems.
  • Experience in programming languages and formal methods.
  • Teamplayer with initiative and excellent communication skills in English.

Contract Offer

  • An innovative research assignment
  • A dynamic research environment
  • Access to the latest research infrastructure
  • Support of further scientific training and career development
  • Attractive salary in accordance with 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