Gavroche
Explore Gavroche
Find work
Search jobsCountries
Career advice
GuidesSalary negotiationCV help
For employers
Contact usFor website owners
About GavrocheGet in touch
← Back to all roles in the United States

Austin, United States

2027 Internship - Formal Verification Engineer

Cirrus Logic · Austin · United States

Contract
Internship
Work mode
Hybrid
Occupation
Internship

Posted: 10/27/2026 · Last checked: 10/28/2026

Job description

Quoted in full from Cirrus Logic's job posting. Gavroche does not edit it.

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! 
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! 

Cirrus Logic is seeking an intern candidate for our Formal Verification team in Austin, TX. This position is focused on applying Formal Verification to digital designs. It is available to students currently enrolled in a MS or PhD program in Electrical and Computer Engineering. Candidate must be available for full-time employment during the internship.

Responsibilities

  • Support the formal verification team to follow, and improve, defined methodology practices.
  • Develop test plans and verification methodologies to formally verify the microarchitecture and design.
  • Perform failure analysis and resolution, coverage analysis, and population.
  • Implement and improve functional and formal verification. 

Required Skills and Qualifications:

  • Master’s or PhD degree in Electrical or Computer Engineering
  • Knowledge in designing and implementing verification environments for module-level designs.
  • Excellent communication skills and a collaborative approach to working with team members.
  • Proficiency in System Verilog.
  • Familiarity with scripting languages such as Python, Perl, TCL, Bash.
  • Experienced or knowledge in UVM or equivalent methodologies.
  • Knowledge in formal property languages such as SVA.
  • Knowledge in property-based model-checking.
  • Knowledgeable in signal processing, analog or digital design fundamentals.

    •  

Cirrus Logic follows a 2+ day in-office work schedule but interns should expect to be in the office more often, up to 5 days per week, based on business needs and team preference. Interns must be based within commutable distance of the work location listed on the job posting, or willing to relocate prior to beginning their internship with Cirrus Logic.
 
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. 

From Gavroche data

Figures computed from live adverts on Gavroche; the job text above is the employer's.

Similar roles in Austin

200 open roles like this one; at most three per employer shown.

What internship adverts in the United States state

Middle half: 48,750 – 78,000 USD a year; median 56,550 USD.

From 613 adverts by 154 employers that state a salary, annualised.

How internship roles in the United States are worked

1% fully remote · 1% hybrid · 98% do not say

Of 334 adverts. An advert that does not state a work mode is counted as not saying, not as on-site.

New openings in Austin, by week

  1. 8/3/2026 68
  2. 8/10/2026 44
  3. 8/17/2026 87
  4. 8/24/2026 103
  5. 8/31/2026 111
  6. 9/7/2026 94
  7. 9/14/2026 114
  8. 9/21/2026 125
  9. 9/28/2026 169
  10. 10/5/2026 190
  11. 10/12/2026 149
  12. 10/19/2026 214
  13. 10/26/2026 84

1,552 openings over 12 weeks, by the week they were published.

Other roles at Cirrus Logic

98 open, including roles outside the United States.