Senior Staff Formal Verification Engineer
GroqPalo Alto, California, United States
Posted June 27, 2025
206000 - 290000 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
Senior Staff ASIC Formal Verification Engineer role at Groq in Palo Alto, CA, involves formal verification of next-generation hardware, collaborating with experienced engineers, and leading methodology development.
Requirements
- BS degree in electrical engineering, or related fields, or equivalent practical experience
- 8+ years in ASIC verification with 5+ years focused on formal verification methods
- Mastery of SystemVerilog Assertions (SVA) and formal property verification
- Proficient on at least one popular formal verification tools in the industry(JapserGold, VC Formal, etc.)
- Strong analytical skills and attention to detail when debugging complex issues
- Good scripting skills for flow automation(tcl, python, etc.)
- Good written and oral communication skills
Benefits
- Competitive base salary
- Comprehensive compensation package
- Equity
- Benefits