Director of AI-Driven Verification & Formal Methods
Listed on 2026-10-19
-
Engineering
Regulatory Compliance Specialist, AI Engineer (Applied/Software), Architect / Sr. Architect
Cadence Design Systems is seeking a T6 technical leader to guide Conformal LEC/ECO architecture and development. You will drive AI-powered verification capabilities, tackle complex challenges, and shape product strategy across engineering, validation, and customer teams.
The role requires deep expertise in formal verification, C/C++, and large-scale software architecture, with a Ph.D. and a history of delivering production-quality software.
This opportunity is for the Director of AI-Driven Verification & Formal Methods role at Cadence Design Systems.
The Director of AI-Driven Verification & Formal Methods role at Cadence Design Systems is now open for applications in Austin, TX, United States.
Join us at Cadence Design Systems as our next Director of AI-Driven Verification & Formal Methods in Austin, TX, United States.
We are currently recruiting a Director of AI-Driven Verification & Formal Methods for our team in Austin, TX, United States.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).