This role will be responsible for enabling semiconductor companies to adopt the Cadence Jasper Formal Verification Platform and associated methodologies. The candidate is also expected to leverage AI technologies and AI-assisted workflows to improve productivity, accelerate customer engagements, and explore innovative verification methodologies.