Agrani Labs

Design/Formal Verification Engineer

Verification Team · 5-15 years

Posted
9 Jul 2026
Last verified at source
2 days ago
Apply on Agrani Labs
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. 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. 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 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 Interested in this role? Submit your application below