Thomas M. Rasmussen
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Thomas M. Rasmussen
- Bis heute 2 Jahre und 9 Monate, seit Okt. 2022
Software Formal Verification Manager
Apple
- 10 Jahre und 3 Monate, Nov. 2008 - Jan. 2019
Development Lead
Lauterbach GmbH
- 2 Jahre und 2 Monate, Apr. 2003 - Mai 2005
Formal Hardware Verification
Infineon Technologies AG, Munich
- 6 Monate, Feb. 2002 - Juli 2002
Assistant Professor
Technical University of Denmark
Ausbildung von Thomas M. Rasmussen
- 8 Monate, Feb. 2000 - Sep. 2000
University of Cambridge
Visited the Computer Laboratory for 8 months, working with the theorem prover Isabelle as part of PhD study.
- 3 Jahre, Feb. 1999 - Jan. 2002
Formal Methods and Verification for Real-Time Systems
Technical University of Denmark (DTU)
Title of thesis: “Interval Logic - Proof Theory and Theorem Proving”
- 5 Jahre und 5 Monate, Sep. 1993 - Jan. 1999
Computer Science and Mathematics (pure and applied)
Technical University of Denmark (DTU)
Specialized in logic and formal methods
Sprachen
Englisch
Fließend
Deutsch
Fließend
Dänisch
Muttersprache
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.