Thomas M. Rasmussen
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Thomas M. Rasmussen
- Bis heute 2 Jahre und 10 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 – 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.