Dr. Norbert Schirmer
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Norbert Schirmer
- Bis heute 6 Jahre, seit Juni 2019
Formal Verification Engineer
Apple
- 2 Jahre und 10 Monate, Juni 2016 - März 2019
VP Business Unit Endpoint Security
Rohde & Schwarz Cybersecurity GmbH
- 1 Jahr und 7 Monate, Sep. 2016 - März 2018
Managing Director
R & S Cybersecurity Sirrix GmbH
- 4 Jahre und 6 Monate, Jan. 2012 - Juni 2016
Geschäftsbereichsleiter "Endpoint Security and Projects"
Sirrix AG
- 1 Jahr und 6 Monate, Juli 2010 - Dez. 2011
Senior System Architect
Sirrix AG
- 2 Jahre, Juli 2008 - Juni 2010
Senior Researcher
Deutsches Forschungszentrum für künstliche Intelligenz (DFKI), Saarbrücken
Projektmanagement Verisoft XT (www.verisoftxt.de); Verifikation des Microsoft Hypervisors Hyper-V; Verifikation von nebenläufigen Systemen in schwachen Speichermodellen (Intel x64 Architektur)
- 1 Jahr und 2 Monate, Juni 2007 - Juli 2008
Wissenschaftlicher Mitarbeiter
Universität des Saarlandes, Lehrstuhl Prof. W. J. Paul
Mitarbeit im Projekt Verisoft XT; Integration von Assemblerverifikation in die Verifikationsumgebung für C; Semantik Stack für die Systemverifikation
- 6 Jahre und 2 Monate, Mai 2001 - Juni 2007
Wissenschaftlicher Angestellter
Technische Universität München, Lehrstuhl Prof. M. Broy / Prof. T. Nipkow
Mitarbeit in den Projekten Verificard (isabelle.in.tum.de/verificard/) und Verisoft (www.verisoft.de); Semantik von Java, insbesondere die Package / Zugriffs Konzepte; Verifikationsumgebung für systemnahen C Code; Betreuung von Praktikums- und Diplomarbeiten; Praktikumsleitung ‘Funktionales Programmieren und Compilerbau’ sowie ’Spezifikation und Verifikation’; Übungsleitung zur Vorlesung Logik, mit Schwerpunkt auf Gleichungslogik und dem Lambda-Kalkül
Entwicklung eines Informationssystems für die Hochschulverwaltung zur Verwaltung von Hilfskraftverträgen: Kundengespräche, Anforderungsanalyse, Planung, Implementierung (in Delphi), Dokumentation, Einführung beim Kunden und Wartung (über mehrere Jahre); Leitung eines Praktikums zum Compilerbau (implementiert in C++); Betreuung des Softwaregrundpraktikums
Ausbildung von Norbert Schirmer
- 2001 - 2006
Informatik
Technische Universität München
Verification of Sequential Imperative Programs in Isabelle/HOL
- 1994 - 2001
Informatik
Universität Ulm
Sprachen
Englisch
Fließend
Deutsch
Muttersprache
XING Mitglieder mit ähnlichen Profilangaben
XING – Das Jobs-Netzwerk
Über eine Million Jobs
Entdecke mit XING genau den Job, der wirklich zu Dir passt.
Persönliche Job-Angebote
Lass Dich finden von Arbeitgebern und über 20.000 Recruiter·innen.
22 Mio. Mitglieder
Knüpf neue Kontakte und erhalte Impulse für ein besseres Job-Leben.
Kostenlos profitieren
Schon als Basis-Mitglied kannst Du Deine Job-Suche deutlich optimieren.