Job Description
This position will focus on formal verification of Groq’s next generation hardware, where the successful candidate will work alongside experienced engineers to help verify complex digital designs using formal verification techniques and tools. Responsibilities include verifying hardware features of Language Process Unit (LPU), partnering with architecture/RTL teams to specify properties, resolving deep design issues, influencing micro-architecture decisions, and leveraging formal verification to ensure compliance with specifications. The role also involves debugging findings, supporting silicon bring-up, developing advanced formal verification environments, mentoring junior engineers, and contributing to future verification strategies.
About Groq
Groq delivers fast, efficient AI inference with its LPU-based system that powers GroqCloud™, giving businesses and developers the speed and scale they need.