Cirrus Logic is seeking an experienced Formal Verification Engineer to join their verification group. The role involves promoting, developing, and supporting advanced formal verification techniques. You will build and leverage formal and dynamic verification environments for critical areas of audio and mixed-signal devices, employing formal tools with design and verification teams. Responsibilities include developing and enhancing formal methodologies, mentoring engineers in formal verification, supporting the verification team in methodology practices, developing test plans and methodologies, performing failure and coverage analysis, and implementing functional verification improvements.