# Formal Verification Engineer Intern at Cirrus Logic

- Company: [Cirrus Logic](https://cirrus.com)
- Location: Austin, TX
- Type: Internship · Internship
- Posted: 2026-10-27
- Apply: https://jobs.eu.lever.co/cirrus/533c9938-3d35-48a6-b08b-1dd1675d2bdf/apply
- Page: https://newgrad.ai/jobs/formal-verification-engineer-intern-f1955656

## Posting

What you'll do:

- Assist with formal verification tasks for hardware and software projects.
- Participate in a hybrid internship program based in Austin, Texas.

What they're looking for:

- Current enrollment in a Master’s or PhD degree program.
- Ability to work as an intern during the 2027 cycle.

Summarized by newgrad.ai from Cirrus Logic's public posting. Check the original for full details before you apply.

---

More new-grad and intern roles: https://newgrad.ai/llms.txt