Senior Staff Formal Verification Engineer

This position will focus on formal verification of Groq's next generation hardware using formal verification techniques and tools. The successful candidate will work alongside experienced engineers to help verify complex digital designs and support the integration of formal verification tools into the overall verification flow.

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
• Strong analytical skills and attention to detail when debugging complex issues
• Good scripting skills for flow automation
• Good written and oral communication skills
• Must be authorized to work in the United States or Canada

Benefits

• Competitive base salary
• Comprehensive compensation package
• Equity
• Benefits