ASIC Formal Verification Intern
2 days ago
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 plusUnderstanding 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 issuesExcellent written and verbal communication skillsPreferred nice-to-have skills:Formal Verification Fundamentals: Familiarity with formal verification concepts such as model checking, equivalence checking, and assertion-based verificationFormal Verification Tool Experience: Hands-on experience with formal verification tools like Cadence Jasper(JasperGold), Synopsys VC Formal, or similar toolsMust be authorized to work in the United States or Canada
Why Join UsPurposeful 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. #LI-DNI
-
ASIC Formal Verification Intern
2 weeks ago
Toronto, Ontario, Canada Groq Full time US$30 - US$50ASIC 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....
-
Senior Staff Formal Verification Engineer
2 weeks ago
Toronto, Ontario, Canada Groq Full time $150,000 - $250,000 per yearSenior Staff ASIC Formal Verification Engineer 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...
-
Senior Staff Formal Verification Engineer
4 days ago
Toronto, Ontario, Canada Groq Full time US$120,000 - US$200,000 per yearSenior Staff ASIC Formal Verification EngineerMissionThis 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...
-
ASIC Verification, Sr Manager
1 week ago
Toronto, Ontario, Canada Synopsys Inc Full time $120,000 - $180,000 per yearPosition is open to both Ottawa and Toronto locations.We Are:At Synopsys, we drive the innovations that shape the way we live and connect. Our technology powers the Era of Pervasive Intelligence, from self-driving cars to learning machines. We're leaders in chip design, verification, and IP integration, helping customers bring high-performance silicon chips...
-
ASIC Design Verification Engineer
2 days ago
Toronto, Ontario, Canada AMD Full time US$80,000 - US$120,000 per yearWHAT YOU DO AT AMD CHANGES EVERYTHINGAt AMD, our mission is to build great products that accelerate next-generation computing experiences—from AI and data centers, to PCs, gaming and embedded systems. Grounded in a culture of innovation and collaboration, we believe real progress comes from bold ideas, human ingenuity and a shared passion to create...
-
ASIC Verification Engineering Intern
1 week ago
Toronto, Ontario, Canada AMD Full time $60,000 - $80,000 per yearWHAT YOU DO AT AMD CHANGES EVERYTHINGAt AMD, our mission is to build great products that accelerate next-generation computing experiences—from AI and data centers, to PCs, gaming and embedded systems. Grounded in a culture of innovation and collaboration, we believe real progress comes from bold ideas, human ingenuity and a shared passion to create...
-
ASIC Design Intern
4 days ago
Toronto, Ontario, Canada Groq Full time US$30 - US$50ASIC Design Intern Winter 2026 (January - April) Internship - full-time - hybrid preferred Mission: This position will focus on developing design scripts to automate design integration and regression of Groq's next generation hardware. This position will also help designers to improve functional test coverage. Through this work term, the successful...
-
ASIC Design Intern
2 weeks ago
Toronto, Ontario, Canada Groq Full time US$30 - US$50ASIC Design Intern Winter 2026 (January - April) Internship - full-time - hybrid preferred Mission: This position will focus on developing design scripts to automate design integration and regression of Groq's next generation hardware. This position will also help designers to improve functional test coverage. Through this work term, the successful...
-
ASIC Designer
4 days ago
Toronto, Ontario, Canada Syntronic Full time $120,000 - $180,000 per yearJoin Syntronic: Where Your Innovation Shapes the Future At Syntronic, we don't just follow industry trends—we set them Join us in partnering with visionary companies and the brightest minds to turn ground-breaking ideas into reality. Imagine working on cutting-edge telecom advancements, pioneering automotive tech, life-saving healthcare innovations, and...
-
Senior Staff ASIC Design Egineer
1 week ago
Toronto, Ontario, Canada Talentlab Full time $120,000 - $180,000 per yearPosition: Senior Staff ASIC Design Engineer – AI/ML Hardware IPLocation: On-site in CanadaWe're working with a global semiconductor leader to hire a Senior Staff ASIC Design Engineer focused on developing cutting-edge AI/ML hardware IP. This role is designed for a senior contributor who can lead architecture definition, RTL development, and integration...
