Dr. Hanno Becker
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Hanno Becker
- Bis heute 8 Jahre und 2 Monate, seit Apr. 2017
Senior Security Engineer, Mbed TLS
ARM Ltd.
Contributing to the open source library Mbed TLS, part of the Mbed ecosystem. Code Audit, Vulnerability Analysis, Design and implementation of new features, Code maintenance, Community support
- 1 Jahr und 2 Monate, Aug. 2015 - Sep. 2016
Formal Methods Staff Engineer, Kernel Verification
FireEye, Inc.
Working on auditing, testing and formally verifying a virtualization microkernel. The project was stopped in August 2016. Responsibilities: Formal Verification with Coq, Model based testing with OCaml, Code audit, Vulnerability analysis, Low-level test infrastructure design & implementation in x86 Assembly, C, C++
- 4 Jahre und 3 Monate, Apr. 2011 - Juni 2015
Wissenschaftlicher Mitarbeiter
Universität Bonn
Planung und Betreuung von Bachelor- und Masterseminaren in Algebra, Logik und Topologie. Vorlesungsassistent Algebra.
Ausbildung von Hanno Becker
- 4 Jahre und 1 Monat, Apr. 2011 - Apr. 2015
Mathematik
Universität Bonn
Abschlussnote 0.7
- 4 Jahre und 6 Monate, Okt. 2006 - März 2011
Informatik
Rheinische Friedrich-Wilhelms-Universität Bonn
Abschlussnote 1.0
- 4 Jahre und 6 Monate, Okt. 2006 - März 2011
Mathematik
Rheinische Friedrich-Wilhelms-Universität Bonn
Abschlussnote 1.0 mit Auszeichnung
Sprachen
Deutsch
Muttersprache
Englisch
Fließend
Französisch
Grundlagen
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.