Postdoctoral Researcher Core Informatics

Helmholtz Pilot Program: KiKIT - Core Informatics at KIT Karlsruhe

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 at the Helmholtz Joint Research Project

The Helmholtz Association has recently established a pilot program at KIT to bring core informatics, meaning research on generic (but application-oriented) methods of informatics, into the focus of Helmholtz research. As a research university in the Helmholtz Association with a large and leading computer science department, KIT is particularly well positioned to pursue this goal.

Task Definition

In this research line it is studied how formal refinement approaches are qualified to handle the complexity of sophisticated models in a modular and collaborative way.

By using different formal techniques and abstractions, different approaches will be integrated to achieve better verification results and the development of more reliable systems, with a particular focus on cyber-physical systems (CPS).

Education & Qualifications (m/f/d)

  • You have a PhD in a relevant field: computer science, software engineering, systems engineering or a related discipline
  • You have a solid background in formal methods, with expertise and research experience in areas such as formal specification and modeling, program verification, refinement methods, logic and deduction, or formal methods in software engineering
  • You have a solid research and publication record in formal methods, software engineering, algorithmics or a related field
  • You have a strong commitment to research: independent work ethic and a proven ability to work independently and in teams on challenging research questions
  • Project management and leadership skills: experience in managing research projects, coordinating research activities and supervising junior researchers or students is an advantage
  • You have excellent communication skills, both written and verbal
  • Good command of English, knowledge of German is of advantage

Contract Offer

  • Full-time employment at KIT with a competitive fixed salary
  • An excellent working environment in a dynamic and internationally recognized research group
  • The contract is initially limited to two years with options for extensions (to a maximum of 6 years)

You will benefit from a position at the KIT:

  • Graduate school within the CRC Convide
  • Access to a network of leading researchers, computer scientists and engineers
  • Opportunities to collaborate in interdisciplinary teams working on complex software-intensive technical systems
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