David Hoenig is a seasoned professional in the field of formal verification engineering, currently serving as a Senior Formal Verification Engineer at NVIDIA since February 2016. With a robust background that includes previous roles at Cadence Design Systems as a Staff Application Engineer and Jasper Design Automation as a Senior Application Engineer, David has accumulated extensive expertise since beginning a career in formal verification at Intel Corporation in 1998. Early career experience includes an internship as a Technical Marketing Engineer at Intel Corporation. David earned a Bachelor of Science degree in Computer Engineering from the University of Michigan, completing studies in 1998.
This person is not in any teams
This person is not in any offices