Agrani Labs is building a high-performance AI accelerator designed for the next generation of intelligent computing. We’re looking for talented and driven Design Verification Engineers, Formal Verification Experts, and Verification Architects to join our Verification Team.
You’ll be responsible for ensuring the absolute functional correctness and reliability of a state-of-the-art AI accelerator prior to silicon tape-out.
What You'll Do
You’ll play a key role in architecting and executing the verification strategy for a cutting-edge AI accelerator. This includes building advanced testbenches, applying formal verification techniques to mathematically prove complex control and datapath logic, driving coverage closure, and ensuring the highest quality of silicon across compute cores, memory pipelines, and SoC interconnects.
What We're Looking For
- B.Tech, Master’s, or Ph.D. in Electrical Engineering, Computer Science, or related fields, with 5–15 years of industry experience
- Strong understanding of CPU, GPU, or XPU architecture fundamentals
- Hands-on expertise in developing complex SystemVerilog/UVM testbenches, constrained-random testing, and coverage-driven verification
- Deep knowledge of Formal Verification methodologies (e.g., model checking, property checking) and tools (e.g., JasperGold, VC Formal, Questa Formal) to verify complex control logic, cache coherence, or math units
- Strong experience in defining verification plans, managing regression suites, and debugging complex RTL issues down to the root cause
- Proficiency in scripting languages (Python, Perl, Makefile, Tcl) and modern ASIC verification flows
Why Agrani Labs?
- Be part of a world-class engineering team with an open and collaborative work culture
- Get a unique opportunity to work on grounds-up hardware and software development at scale
- Connect the dots across the entire system and stack, from Torch to transistors
- Work at an AI first company, and use AI innovatively to transform the way hardware and software are built
- Get practically unlimited access to top models from OpenAI, Anthropic and Gemini models and more
How to Apply
Interested in this role? Submit your application below