ASIC Formal Verification Intern
24 hours 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
-
Staff Digital Verification Engineer
3 days ago
Palo Alto, California, United States PsiQuantum Full time $200,000 - $235,000Quantum computing holds the promise of humanity's mastery over the natural world, but only if we can build a real quantum computer. PsiQuantum is on a mission to build the first real, useful quantum computers, capable of delivering the world-changing applications that the technology has long promised. We know that means we will need to build a system with...
-
Business Analyst Intern
5 days ago
Palo Alto, California, United States Groq Full time $62,400 - $124,800 per yearWinter 2026 (January - April) Internship - full-time - hybrid required in Palo Alto, CA*Mission:*We're seeking an MBA intern for an Executive intern role focused on the intersection of finance, data, and strategy. You'll support high-impact decision-making by building dashboards, tracking key metrics, and developing executive-level presentations in close...
-
Palo Alto, California, United States Ford Motor Company Full time $120,000 - $180,000 per yearJob DescriptionAt Ford Motor Company, we believe freedom of movement drives human progress. We also believe in providing you with the freedom to define and realize your dreams With our incredible plans for the future of mobility, we have a wide variety of opportunities for you to accelerate your career potential as you help us define tomorrow's...
-
Cloud Media Services Intern
6 days ago
Palo Alto, California, United States Tencent Full time $69,305 - $108,000Business UnitWhat the Role EntailsWith over 20 years of research and experience in audio and video technology, Tencent Cloud launched Tencent Cloud Media Service, a new international audio and video brand, in 2022. It provides a one-stop media solution, the basic media processing infrastructure named MPS, including industry-leading encoder, Media enhancement...
-
Automated Reasoning Engineer
6 days ago
Palo Alto, California, United States Athena Full time $120,000 - $180,000 per yearAutomated Reasoning EngineerBuild the core reasoning engine policy analysis platform. You'll design and work with formal verification systems using SMT solvers and automated reasoning algorithms to model and analyze security policies at scale. This is a full-stack role requiring both algorithmic depth and production engineering skills.What You'll BuildCore...
-
Staff Software Engineer, HIL, Autonomy
3 days ago
Palo Alto, California, United States Rivian Full timeAbout RivianRivian is on a mission to keep the world adventurous forever. This goes for the emissions-free Electric Adventure Vehicles we build, and the curious, courageous souls we seek to attract.As a company, we constantly challenge what's possible, never simply accepting what has always been done. We reframe old problems, seek new solutions and operate...
-
Staff Software Engineer, HIL, Autonomy
3 days ago
Palo Alto, California, United States Rivian Full time $167,000 - $209,000 per yearAbout RivianRivian is on a mission to keep the world adventurous forever. This goes for the emissions-free Electric Adventure Vehicles we build, and the curious, courageous souls we seek to attract. As a company, we constantly challenge what's possible, never simply accepting what has always been done. We reframe old problems, seek new solutions and...
-
Research Engineer, Technical Lead
5 days ago
Palo Alto, California, United States Harmonic Full time $150,000 - $200,000 per yearAbout UsHarmonic is a startup building the world's most advanced mathematical reasoning engine, recently achieving Gold Medal-level performance on the 2025 International Math Olympiad (IMO). Backed by some of the world's most prominent investors, we are intentionally scaling our elite technical team.We are seeking a highly motivated and experienced Research...
-
Palo Alto, California, United States US Department of Veterans Affairs Full time $246,020 - $248,433 per yearSummaryThis position is eligible for the Education Debt Reduction Program (EDRP), a student loan payment reimbursement program. You must meet specific eligibility requirements per VHA policy and submit your EDRP application within four months of appointment. Program Approval, award amount (up to $200,000) & eligibility period (one to five years) are...
-
Associate General Counsel
5 days ago
Palo Alto, California, United States Wing Full time $332,000 - $344,000 per yearAbout WingWing offers drone delivery as a safe, fast, and sustainable solution for last mile logistics. Consumer appetites for on-demand services are increasing, but current delivery methods are inefficient, costly, and contribute to road accidents and air pollution. Wing's fleet of highly automated delivery drones can transport small packages directly from...
