
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 Jahre, Juni 2016 - Mai 2019
Akademischer Rat
Technische Universität München, Real-Time Computer Systems
Formal functional verification and worst-case execution time analysis (research & teaching).
- 3 Jahre und 7 Monate, Nov. 2012 - Mai 2016
Wissenschaftlicher Mitarbeiter
Technische Universität München, Real-Time Computer Systems,
Formal functional verification and worst-case execution time analysis (research & teaching).
- 2 Monate, Mai 2015 - Juni 2015
Research Intern/Visiting Researcher
TCS Innovation Labs, Pune, India
Temporal and Functional Verification of Automotive Software
- 2 Jahre und 2 Monate, Sep. 2012 - Okt. 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 Jahr und 7 Monate, März 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 Jahre, Okt. 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 Jahre und 1 Monat, 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 Jahre und 7 Monate, Nov. 2012 - Mai 2019
Elektro- und Informationstechnik
Technische Universität München
Real-time embedded software, formale Verifikation, Zeitanalyse.
- 2 Jahre, Okt. 2010 - Sep. 2012
Elektro- und Informationstechnik
Technische Universität München
- 2 Jahre und 1 Monat, Sep. 2006 - Sep. 2008
Elektrotechnik
DHBW Ravensburg/Friedrichshafen
Nachrichtentechnik
Sprachen
Deutsch
Muttersprache
Englisch
Fließend
Spanisch
Grundlagen
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.