Martin Becker
Angestellt, Application Engineer, MathWorks
München, Deutschland
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