Dr. Norbert Schirmer
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Norbert Schirmer
- Current 7 years, since Jun 2019
Formal Verification Engineer
Apple
- 2 years and 10 months, Jun 2016 - Mar 2019
VP Business Unit Endpoint Security
Rohde & Schwarz Cybersecurity GmbH
- 1 year and 7 months, Sep 2016 - Mar 2018
Managing Director
R & S Cybersecurity Sirrix GmbH
- 4 years and 6 months, Jan 2012 - Jun 2016
Geschäftsbereichsleiter "Endpoint Security and Projects"
Sirrix AG
- 1 year and 6 months, Jul 2010 - Dec 2011
Senior System Architect
Sirrix AG
- 2 years, Jul 2008 - Jun 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 year and 2 months, Jun 2007 - Jul 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 years and 2 months, May 2001 - Jun 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
English
C1 (Fließend)
German
C2 (Verhandlungssicher / Muttersprachlich)
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.
21 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.