ASIC Formal Verification Intern
Groq
Toronto, ON, Canada
USD 30-50 / hour
Posted on Nov 28, 2025
ASIC Formal Verification Intern
Toronto
Internships
Remote
Full-time
About Groq
Groq delivers fast, efficient AI inference. Our LPU-based system powers GroqCloud™, giving businesses and developers the speed and scale they need. From our Bay Area roots to our growing global presence, we are on a mission to make high performance AI compute more accessible and affordable. When real-time AI is within reach, anything is possible. Build fast.
ASIC Formal Verification Intern
Winter 2026 (January - April) Internship - full-time
Mission: This position will focus on formal verification of Groq’s next generation hardware. Through this work term, the successful candidate will work alongside experienced engineers to help verify complex digital designs using formal verification techniques and tools. You will be involved in tasks ranging from setting up formal verification environments, running automated checks, debugging formal proofs, and supporting the integration of formal verification tools into the overall verification flow.
Responsibilities & opportunities in this role:
- Formal Verification Tasks: Assist in using formal verification tools to verify the correctness of digital designs (RTL, gate-level).
- Tool Setup and Automation: Support the automation of formal verification workflows and tool integration into the broader verification environment.
- Debugging & Bug Isolation: Investigate and debug verification failures, helping to isolate the root cause of issues in the design.
- Documentation and Reporting: Document test cases, verification results, and issues, and communicate progress effectively to the team.
- Collaboration: Work closely with hardware design, RTL verification, and software teams to align formal verification tasks with other verification efforts.
Ideal candidates have/are:
- Experience with System Verilog or Verilog design language, SVA as a plus
- Understanding of ASIC design flows for verificationProficiency in at least one programming language such as: tcl, Python, C++, etc.
- Strong analytical skills and attention to detail when debugging complex issues
- Excellent written and verbal communication skills
- Preferred nice-to-have skills:
- Formal Verification Fundamentals: Familiarity with formal verification concepts such as model checking, equivalence checking, and assertion-based verification
- Formal Verification Tool Experience: Hands-on experience with formal verification tools like Cadence Jasper(JasperGold), Synopsys VC Formal, or similar tools
- Must be authorized to work in the United States or Canada
Why Join Us
- Purposeful Hiring: You’re not here by accident, and neither is anyone else. Every teammate is handpicked with intention because who we build with matters.
- Builders Wanted: You’re not just riding the rocket ship, you’re building it. Your work directly shapes the trajectory of our company.
- Mission-Driven Work: We’re here to make a real impact. Our mission fuels everything we do.
- Tackling Hard Problems: If easy isn’t your thing, you’re in the right place. We solve some of the most complex and exciting challenges in our space.
- Excellence Is The Standard: High performance isn’t just encouraged, it’s the baseline. And it’s contagious.
If this sounds like you, we’d love to hear from you!
Compensation: The US pay range for our technical internships is $30-$50 / per hour. The US pay range for our non-technical internships is $30-$40 / per hour. Individual compensation will be commensurate with the candidate’s qualifications and experience, country of internship and aligned with Groq’s internal leveling guidelines and benchmarks.
This position may require access to technology and/or information subject to U.S. export control laws and regulations, as well as applicable local laws and regulations, including the Export Administration Regulations (EAR). To comply with these requirements, candidates for this role must meet all relevant export control eligibility criteria.
Groq is an Equal Opportunity Employer. We are committed to creating an inclusive environment for all employees and applicants. All qualified applicants will receive consideration for employment without regard to race, color, religion, national origin, sex (including gender identity, sexual orientation, and pregnancy), age, disability, genetic information, protected veteran status, or any other characteristic protected by applicable law.
Groq complies with all applicable federal, state, and local laws governing nondiscrimination in employment. We do not tolerate discrimination or harassment based on any protected characteristic.
Groq is committed to working with and providing reasonable accommodations to qualified individuals with physical or mental disabilities. If you require a reasonable accommodation to complete an application or to participate in the hiring process, please contact us at talent@groq.com. This contact is for accommodation requests only, which will be considered on a case-by-case basis.
All offers of employment are contingent upon verification of the applicant’s identity and employment authorization in accordance with federal law.
Groq encourages people with criminal record histories to apply for employment, and values diverse experiences, including prior contact with the criminal legal system. To that end, Groq welcomes such applicants in accordance with the California Fair Chance Act, Los Angeles City Fair Chance Act Ordinance, Los Angeles County Fair Chance Act Ordinance, and San Francisco Fair Chance Act Ordinance. Philadelphia applicants can review information pertaining to Philadelphia’s Fair Criminal Record Screening Standards Ordinance here: https://www.phila.gov/documents/fair-chance-hiring-law-poster.
Req ID: R649