Senior Formal Verification Engineer
GroqUnited States
Posted November 25, 2025
203200 - 239100 USD year
Full Time
About the Company
Groq is a pioneering AI inference platform that empowers developers to build fast and scalable applications without compromise. Leveraging its custom LPU and cloud infrastructure, Groq enables instant and reliable execution of today's most powerful open AI models, making it a go-to choice for over 2 million developers worldwide.
Job Description
The Senior Formal Verification Engineer will focus on formal verification of Groq’s next generation hardware, working alongside experienced engineers to verify complex digital designs using formal verification techniques and tools.
Requirements
- BS degree in electrical engineering, or related fields, or equivalent practical experience
- 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
Benefits
- Comprehensive compensation package
- Equity
- Benefits