Martin Becker
Suchst Du einen anderen Martin Becker?
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Martin Becker
Formal Verification of Embedded Software, Functional Safety, DevOps
- 3 years, Jun 2016 - May 2019
Akademischer Rat
Technische Universität München, Real-Time Computer Systems
Formal functional verification and worst-case execution time analysis (research & teaching).
- 3 years and 7 months, Nov 2012 - May 2016
Wissenschaftlicher Mitarbeiter
Technische Universität München, Real-Time Computer Systems,
Formal functional verification and worst-case execution time analysis (research & teaching).
- 2 months, May 2015 - Jun 2015
Research Intern/Visiting Researcher
TCS Innovation Labs, Pune, India
Temporal and Functional Verification of Automotive Software
- 2 years and 2 months, Sep 2012 - Oct 2014
Freelance Teaching Staff
Singapore Institute of Technology, Singapur
Responsible for lab module "Software Engineering for Real-Time Embedded Systems" in program 'Bachelor of Science in Electrical Engineering and Information Technology"
- 1 year and 7 months, Mar 2011 - Sep 2012
Wissenschaftliche Hilfskraft
Technische Universität München, Real-Time Computer Systems
Real Time Programming Languages, Model Checking, Simulation, Embedded Systems, Domain-Specific Languages, ANTLR, Eclipse PDE, Architectural Simulation, SimpleScalar, SCADE, Software Engineering for Embedded Systems, Polymorphic Systems, FPGA.
- 2 years, Oct 2008 - Sep 2010
Entwurfsingenieur Avionik-Konzepte
Airbus Group (formerly EADS Cassidian)
Avionik, UAV-Demonstrator, HW/SW-Integration, Sensorik & Processing, Data Link, Anforderungsanalyse, Systems Engineering.
- 3 years and 1 month, Sep 2005 - Sep 2008
Dualstudent/Trainee
Airbus Group (formerly EADS Military Aircraft)
Diplomarbeit: "Modifikation und Optimierung eines Datenlinks für UAV-Anwendungen". Studienarbeit: Optimierung und Redesign von Videolink und Datenlink am unbemannten Luftschiff "The Fleye"
Ausbildung von Martin Becker
- 6 years and 7 months, Nov 2012 - May 2019
Elektro- und Informationstechnik
Technische Universität München
Real-time embedded software, formale Verifikation, Zeitanalyse.
- 2 years, Oct 2010 - Sep 2012
Elektro- und Informationstechnik
Technische Universität München
- 2 years and 1 month, Sep 2006 - Sep 2008
Elektrotechnik
DHBW Ravensburg/Friedrichshafen
Nachrichtentechnik
Sprachen
German
C2 (Verhandlungssicher / Muttersprachlich)
English
C1 (Fließend)
Spanish
A1-A2 (Grundkenntnisse)
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.