Lead development and rollout of formal verification methodologies, mentor engineers, build formal and dynamic verification environments, create test plans, perform failure and coverage analysis, and improve functional verification for mixed-signal audio IP.
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.
Responsibilities:
- Develop and enhance formal methodologies to be rolled out to the wider design and verification teams and investigate new capabilities based on formal.
- Mentor engineers in formal verification, developing their talents and understanding of formal techniques and application of formal methodologies.
- Support, and where necessary coach, the verification team to follow, and improve, defined methodology practices.
- Develop test plans and verification methodologies to verify the microarchitecture and design.
- Perform failure analysis and resolution, coverage analysis, and population.
- Implement and improve functional verification.
Required Skills and Qualifications:
- Master's degree in Electrical or Computer Engineering with 8+ years or PhD in Electrical or Computer Engineering with 5 +years of formal verification experience.
- Proven expertise in designing and implementing formal verification environments for complex IP/module-level designs.
- Demonstrated ability to lead and drive the verification process from inception to completion.
- Excellent communication skills and a collaborative approach to working with team members.
- Proficiency in System Verilog, UVM, or equivalent methodologies.
- Familiarity with scripting languages such as Python, Perl, TCL, Bash.
- Expertise in formal property languages, with SVA knowledge.
- Experience in property-based model-checking.
- Knowledgeable in Signal Processing, analog and digital design fundamentals.
#LI-TM1
#LI-Hybrid
#HOTT
Export control restrictions based upon applicable laws and regulations would prohibit candidates who are nationals of certain embargoed countries from working in this position without Cirrus Logic first obtaining an export license. Candidates for this role must be able to access technical data without a requirement for an export license. We are unable to sponsor or obtain export licenses for this role.
Cirrus Logic strives to select the best qualified applicant for any opening. Different approaches, ideas and points of view are both valued and respected. Employment decisions are made on the basis of job-related criteria without regard to race, color, religion, sex, national origin, age, protected veteran or disabled status, genetic information, or any other classification protected by applicable law.
Top Skills
Bash
Formal Verification
Model Checking
Perl
Property-Based Model Checking
Python
Systemverilog
Systemverilog Assertions (Sva)
Tcl
Uvm
Cirrus Logic Austin, Texas, USA Office
Cirrus Logic is nestled in the trendy West 6th neighborhood of Downtown Austin. Steps from our headquarters, you'll find incredible restaurants and nightlife, eclectic boutiques, independent book and record stores and the flagship Whole Foods Market and the Lady Bird Lake hike-and-bike trail.
Cirrus Logic Austin, Texas, USA Office
Cirrus Logic is nestled in the trendy West 6th neighborhood of Downtown Austin. Steps from our headquarters, you'll find incredible restaurants and nightlife, eclectic boutiques, independent book and record stores and the flagship Whole Foods Market and the Lady Bird Lake hike-and-bike trail.
Cirrus Logic Austin, Texas, USA Office
Cirrus Logic is nestled in the trendy West 6th neighborhood of Downtown Austin. Steps from our headquarters, you'll find incredible restaurants and nightlife, eclectic boutiques, independent book and record stores and the flagship Whole Foods Market and the Lady Bird Lake hike-and-bike trail.
Cirrus Logic Austin, Texas, USA Office
Just blocks away from ACL and hike and bike trails. Tons of restaurants and close to public transporation.
Similar Jobs
Fintech • Real Estate • PropTech
Own the full sales cycle for Agora's SaaS platform: prospect, run demos/POCs, negotiate and close deals, manage pipeline in HubSpot, collaborate with Customer Success and Product, and complete post-sale finance processes while meeting quarterly and annual sales targets.
Top Skills:
Hubspot,Crm,Saas,Proptech,Fintech
Fintech • Mobile • Software • Financial Services
Process borrower documents to prepare complete loan files for initial underwriting. Verify documentation, order and track vendor items, communicate with borrowers and third parties, complete submission checklists, manage pipeline within SLAs, and document all communications.
Top Skills:
Google DocsGoogle SheetsMS OfficeWindows
Artificial Intelligence • Cloud • Information Technology • Security • Social Impact • Software
Design, build, and run scalable sales enablement programs—onboarding, product and skills training, eLearning, and certifications. Manage Docebo, Seismic, and Gong content; partner cross-functionally; measure KPIs; facilitate training; and use AI and authoring tools to improve learning and adoption.
Top Skills:
Docebo,Seismic,Gong,Powerpoint,Articulate 360 (Rise/Storyline),Salesforce,Outreach,Generative Ai,Agentic Ai,Learning Management System
What you need to know about the Austin Tech Scene
Austin has a diverse and thriving tech ecosystem thanks to home-grown companies like Dell and major campuses for IBM, AMD and Apple. The state’s flagship university, the University of Texas at Austin, is known for its engineering school, and the city is known for its annual South by Southwest tech and media conference. Austin’s tech scene spans many verticals, but it’s particularly known for hardware, including semiconductors, as well as AI, biotechnology and cloud computing. And its food and music scene, low taxes and favorable climate has made the city a destination for tech workers from across the country.
Key Facts About Austin Tech
- Number of Tech Workers: 180,500; 13.7% of overall workforce (2024 CompTIA survey)
- Major Tech Employers: Dell, IBM, AMD, Apple, Alphabet
- Key Industries: Artificial intelligence, hardware, cloud computing, software, healthtech
- Funding Landscape: $4.5 billion in VC funding in 2024 (Pitchbook)
- Notable Investors: Live Oak Ventures, Austin Ventures, Hinge Capital, Gigafund, KdT Ventures, Next Coast Ventures, Silverton Partners
- Research Centers and Universities: University of Texas, Southwestern University, Texas State University, Center for Complex Quantum Systems, Oden Institute for Computational Engineering and Sciences, Texas Advanced Computing Center
