CAD Engineer - Formal Verification Responsible for developing, maintaining, and enhancing formal verification tools and flows. Involves supporting existing analysis tools, debugging vendor tool problems, and collaborating with designers and verification teams.