2027 Internship - Formal Verification Engineer at Cirrus Logic | Austin, TX, US | Rezi

2027 Internship - Formal Verification Engineer at Cirrus Logic

2027 Internship - Formal Verification Engineer

Cirrus Logic · Austin, TX, US

1 weeks ago

2027 Internship - Formal Verification Engineer

Cirrus Logic · Austin, TX, US

11 days ago
Resume preview

Impress employers and recruiters.
Choose from hundreds of resume examples.

Target Resume Now
Resume preview

Tailor your resume to this 2027 Internship - Formal Verification Engineer role.

Rezi rewrites your resume against Cirrus Logic's job description. Free.

Resume score gauge reading 58 out of 100

Don't guess if your resume is good enough.

See how it scores against the 2027 Internship - Formal Verification Engineer posting at Cirrus Logic — free, in seconds.

About the Role

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.

Requirements

  • Knowledge in designing and implementing verification environments for module-level designs.
  • Excellent communication skills and a collaborative approach to working with team members.
  • 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.

Skills

  • System Verilog
  • Python
  • Perl
  • TCL
  • Bash
  • UVM
  • SVA
  • Property-based model-checking
  • Signal processing
  • Analog design fundamentals
  • Digital design fundamentals

Location

  • Austin, TX

Work Type

  • Full-time
  • Hybrid

Experience Level

  • Intern

Education Level

  • Master’s degree in Electrical or Computer Engineering
  • PhD degree in Electrical or Computer Engineering

About the Company

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

Equal Opportunity

  • 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.
  • 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.