Dr. Hanno Becker
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Hanno Becker
- Current 9 years and 2 months, since 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 year and 2 months, 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 years and 3 months, Apr 2011 - Jun 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 years and 1 month, Apr 2011 - Apr 2015
Mathematik
Universität Bonn
Abschlussnote 0.7
- 4 years and 6 months, Oct 2006 - Mar 2011
Informatik
Rheinische Friedrich-Wilhelms-Universität Bonn
Abschlussnote 1.0
- 4 years and 6 months, Oct 2006 - Mar 2011
Mathematik
Rheinische Friedrich-Wilhelms-Universität Bonn
Abschlussnote 1.0 mit Auszeichnung
Sprachen
German
C2 (Verhandlungssicher / Muttersprachlich)
English
C1 (Fließend)
French
A1-A2 (Grundkenntnisse)
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.