Das CISPA Helmholtz-Zentrum für Informationssicherheit ist eine nationale Großforschungseinrichtung innerhalb der Helmholtz-Gemeinschaft. Es erforscht die Informationssicherheit in all ihren Facetten.
Als Helmholtz-Zentrum für Informationssicherheit widmet sich CISPA hochmoderner Grundlagenforschung in Kombination mit innovativer anwendungsorientierter Forschung in Cybersicherheit, Privacy und Künstlicher Intelligenz.
Erfahre mehr über spannende Forschungsergebnisse, aktuelle Publikationen und neue Entwicklungen aus unseren Teams. Stöbere in unseren Artikeln, Pressetexten und eigenen Einblicken – und schau, bei welchen Veranstaltungen man uns demnächst treffen kann.
Schön, dass ihr euch für eine Karriere am CISPA interessiert. Allen Wissenschaftler:innen, Mitarbeiter:innen, ihren Partner:innen und Familien wollen wir ein angenehmes und vertrautes Lebensumfeld bieten.
Der Transfer unserer Forschung in die Anwendung gehört zu den Kernaufgaben des CISPA. Nur so können Gesellschaft und Wirtschaft allumfassend von wegweisenden Innovationen, hochmodernen Technologien und neuesten Forschungserkenntnissen profitieren.
Die Formate des Wissenstransfers am CISPA sind vielfältig und reichen von Informationsveranstaltungen und Messebesuchen über Politikberatung bis hin zu Bürgerdialogen.
Stuhlsatzenhaus 5 66123 Saarbrücken (Germany)
Engineering a Formally Verified Automated Bug Finder
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
