Senior Formal Verification Engineer (CH-64001149)

For over four decades, Cirrus Logic has been propelled by the top engineers in mixed-signal processing. Our rockstar team thrives on solving complex challenges with innovative end-user solutions for the world's top consumer brands. Cirrus Logic is also known for its award-winning culture, which was built on a foundation of inclusion and fairness, meaningful community engagement, and delivering enjoyable employee experiences at every turn. But we couldn’t do it without our extraordinary workforce – and that’s where you come in. Join our team and help us continue to make Cirrus Logic an exceptional place to grow your career!

We are looking for an experienced Formal Verification Engineer to join our growing organization in Austin, TX! You will be a key member of a verification group striving to promote, develop, and support advanced formal verification techniques. In this role, you will be building and leveraging both formal and dynamic verification environments for critical areas of audio and mixed-signal devices, employing and supporting the usage of formal tools with design and verification teams.