ASIC Formal Verification Intern
6 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.
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.
-
ASIC Verification Engineer
1 week ago
Toronto, Ontario, Canada HiringAgents Full timeOur client is seeking a highly experienced ASIC Verification Engineer to help develop and verify complex digital ASICs in a collaborative, geographically diverse environment.Key ResponsibilitiesLead the development of verification infrastructure for advanced ASIC designsCreate System Verilog/UVM-based protocol and traffic generators/checkersDevelop and...
-
Principal ASIC Verification Engineer
2 weeks ago
Toronto, Ontario, Canada Nokia Full timeJob DescriptionWe are seeking an ASIC Verification Engineer with a solid ASIC/FPGA verification test strategy & development and debugging skills."The Network Infrastructure group is at the heart of a revolution to connectivity, pushing the boundaries to deliver more and faster network capacity to people worldwide through our ambition, innovation, and...
-
Senior ASIC Verification Engineer
3 days ago
Toronto, Ontario, Canada BTA Design Services Full time $120,000 - $170,000About Us:Headquartered in Ottawa, BTA Design serves the electronic design community in Canada and beyond, specializing in ASIC and FPGA design and verification, and embedded software development services. We augment and enhance our clients' teams and accelerate the development of complete designs.We're adaptable and efficient, with a brilliant staff at our...
-
ASIC Design Intern
6 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 Development Engineer
2 weeks ago
Toronto, Ontario, Canada HiringAgents Full timeJob title: ASIC Design EngineerClient: Myticas ConsultingLocation: Ottawa, Ontario, Canada - On-SiteContract type: Full-time, PermanentContract duration: Not specifiedSalary:About The RoleMyticas Consulting is supporting a leading optical communications company in the search for an experienced ASIC Design Engineer to join their expanding team in Ottawa. In...
-
Toronto, Ontario, Canada Talentlab Full timePosition: Staff ASIC Design Engineer – AI/ML Hardware IPLocation: On-site in CanadaWe're partnering with a leading global semiconductor company to find a Staff ASIC Design Engineer to help architect and develop next-gen AI/ML hardware IP. This role is ideal for someone who thrives in RTL design, micro-architecture development, and hardware integration ,...
-
ASIC Design Intern
5 days ago
Toronto, Ontario, Canada Groq Full timeWinter 2026 (January - April) Internship - full-time - hybrid preferredMission: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 candidate will be part of the...
-
Design Verification Intern
2 weeks ago
Toronto, Ontario, Canada Altera Full timeJob DetailsJob Description:Join Altera, a pioneer in programmable logic solutions, where innovation meets practicality. We empower system, semiconductor, and technology companies to differentiate and excel in their markets rapidly and cost-effectively. Our legacy of innovation is matched by our commitment to our clients, whom we serve through a robust...
-
Senior ASIC
3 days ago
Toronto, Ontario, Canada Ethernovia Full timeAbout Ethernovia, Inc.Ethernovia is fundamentally changing how cars of the future are built by unifying in-vehicle networks into an end-to-end Ethernet system. Founded in 2018, we're inventing the future of automobile's communication We are transforming automobiles' communication network to enable the autonomous driving, electrical vehicle (EV) and software...
-
Design Verification Intern
2 weeks ago
Toronto, Ontario, Canada Altera Full time $90,000 - $95,000Job Details:Job Description:Join Altera, a pioneer in programmable logic solutions, where innovation meets practicality. We empower system, semiconductor, and technology companies to differentiate and excel in their markets rapidly and cost-effectively. Our legacy of innovation is matched by our commitment to our clients, whom we serve through a robust...
