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.

Senior 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 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:

Own formal verification of key hardware features in Groq’s Language Processing Unit (LPU), ensuring functional correctness, robustness, and spec completeness.
Drive clarity in design specifications through close collaboration with architecture and RTL design teams; identify ambiguities early and propose spec refinements.
Develop and execute advanced formal verification strategies, including property development, convergence tactics, abstraction, and proof planning.
Debug complex design and micro-architectural issues surfaced by formal tools and work efficiently with cross-functional teams to root-cause and resolve them.
Contribute to silicon bring-up by applying formal techniques to diagnose post-silicon issues and validate hardware behavior
Enhance verification methodology: Build scalable, automated formal environments and flows with necessary guidance; Identify bottlenecks and introduce innovations to improve performance, proof completeness, and reuse.

Minimum Qualifications:

BS degree in electrical engineering, or related fields, or equivalent practical experience; advance degrees (MS or PhD) is a plus
5+ years of ASIC/SoC verification experience, including 3+ years focused on formal verification
Proficiency writing SystemVerilog Assertions (SVA) following best practices.
Strong analytical skills and attention to detail when debugging complex issues
Proficient on at least one popular formal verification tools in the industry(JasperGold, VC Formal, etc.)
Must be authorized to work in the United States or Canada
Good written and oral communication skills

Preferred Qualifications:

8+ years of overall ASIC verification experience, with 5+ years dedicated to formal verification
Mastery of SystemVerilog Assertions (SVA) and formal property verification
Proven experience developing and deploying formal methodologies, including automated flows (Python, Tcl, etc.).
Proven success in full-cycle formal sign-off for complex compute blocks
Expertise in formal apps(SEC, datapath, connectivity, coverage, etc.),
Deep understanding of LPU or GPU architecture/design

Compensation: At Groq, a competitive base salary is part of our comprehensive compensation package, which includes equity and benefits. For this role, the base salary range is $203,200 to $239,100, determined by your location, skills, qualifications, experience and internal benchmarks. This range is specific to roles in the United States, compensation for candidates outside the USA will be dependent on the local market.

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: R722

Apply now

See more open positions at Groq

Privacy policy Cookie policy