The group of Andre Platzer, the Alexander von Humboldt Professor for Logic of Autonomous Dynamical Systems, in the Department of Informatics at KIT, Karlsruhe, is recruiting a PhD Student or Doctoral Researcher (full-time, about EU4200-4800 gross by TVL E13 depending on experience). Exceptionally qualified applicants for postdoc positions may be considered as well.