Director of Formal Verification & AI-Driven ECO

Cadence; Austin (TX); On-site; USD 210,000 - 270,000; Full time

Job summary

Cadence in Austin seeks a T6-level technical leader to guide the architecture, development, and execution of Conformal LEC and ECO technologies. This role will drive innovation in formal verification and ECO, lead complex technical initiatives, and help advance AI-powered capabilities across Conformal.

The successful candidate will combine deep technical expertise with broad product influence, cross-functional leadership, and strong customer engagement.

Qualifications

• PhD required in CS, EE, CE, or related field.
• Extensive EDA software and verification experience.
• Leadership of complex, high-impact initiatives.
• Strong cross-functional collaboration and customer engagement.

Responsibilities

• Provide technical leadership for Conformal LEC and ECO.
• Drive scalability, performance, and quality across flows.
• Lead AI-related verification innovations.
• Mentor engineers and shape long-term roadmap.
• Engage with strategic customers to translate needs.

Skills

C/C++ development

Formal verification

ECO/LEC knowledge

Algorithms

Large-scale software

Education

Ph.D. in CS/EE/CE

Tools

Linux/Unix

Python

Tcl

Shell

Perl

Job description

Cadence in Austin seeks a T6-level technical leader to guide the architecture, development, and execution of Conformal LEC and ECO technologies. This role will drive innovation in formal verification and ECO, lead complex technical initiatives, and help advance AI-powered capabilities across Conformal.

The successful candidate will combine deep technical expertise with broad product influence, cross-functional leadership, and strong customer engagement.