Thomas-M-Rasmussen in XING ⇒ in Das Örtliche

	Thomas M. Rasmussen München XING Profil

Berufserfahrung	2022-10 - heute Software Formal Verification Manager Apple 2019-02 - 2022-09 Formal Verification Engineer Apple 2008-11 - 2019-01 Development Lead Lauterbach GmbH 2005-05 - 2008-10 Senior Engineer OneSpin Solutions GmbH 2003-04 - 2005-05 Formal Hardware Verification Infineon Technologies AG, Munich 2002-10 - 2003-03 Software Engineer moresophy GmbH 2002-02 - 2002-07 Assistant Professor Technical University of Denmark
Berufsausbildung	Formal Methods and Verification for Real-Time Systems
Sprachkenntnisse	Deutsch Fließend, Dänisch Muttersprache, Englisch Fließend
	Dies ist Ihr Profil und Sie möchten Ihre Daten im Internet bearbeiten bzw löschen?

Thomas M. Rasmussen