Home | english  | Impressum | Datenschutz | Sitemap | KIT
Veröffentlichung

Sieben Thesen zur IT-Sicherheit

PDF herunterladen

Offene Stellen

Sie haben keine passende Stelle gefunden? Auch wenn es nicht immer ausgeschrieben ist, freuen wir uns über neue Doktoranden/Postdocs, die daran interessiert sind, unser Team zu verstärken. Lassen Sie uns hierfür einfach Ihre Initiativbewerbung zukommen. Wir freuen uns auf Sie!

Professor Beckert beschäftigt sich mit formaler Logik und logikbasierten Techniken. Diese kommen bei der Spezifikation, Entwurf, Entwicklung und Verifikation von Software- und Hardware-Systemen zum Einsatz. Das Ziel ist es, die Zuverlässigkeit und Sicherheit von Systemen zu erhöhen. Diese Herangehensweise ist insbesondere für kritische Systeme notwendig, um sicherzustellen, dass durch den Entwicklungsprozess keine neuen Fehler entstehen.