Lead technical innovation in EDA software for formal verification and ECO. Oversee architecture and development, champion high-impact initiatives, mentor engineers, and engage with clients to deliver robust software solutions that shape industry standards.