Back to jobs
CD
Hiring companyCadence Design Systems

Active listing

Lead Verification Engineer

NOIDA, India Full-time On-site

About the role

Lead Verification Engineer at Cadence Design Systems drives AI-driven pre-silicon verification. Leveraging formal verification, UVM, and machine learning, the role architects next‑generation verification methodologies. The engineer collaborates with ML and software teams to build agentic AI solutions using LLMs, enhancing EDA tools and accelerating design cycles. Responsibilities include applying ML to streamline formal and UVM workflows, developing AI‑enhanced verification tools, engaging customers for requirement gathering, validating output quality, and staying current on AI‑powered hardware verification advances. Candidates bring 3‑6 years of ASIC verification experience, strong Verilog, SystemVerilog, and Python skills, and familiarity with Jasper, Xcelium, and IMC. Exposure to LLMs, RAG, RFT, RL, and agentic frameworks is a plus. Cadence offers a collaborative culture, cutting‑edge technology, and employee‑friendly policies.

What you’ll do

  • Apply ML to streamline formal verification and UVM.
  • Build agentic AI solutions with LLMs for pre-silicon verification.
  • Use AI‑enhanced EDA tools to accelerate design and verification.
  • Engage customers to understand requirements and deliver verification strategies.
  • Collaborate with ML and software teams to validate output quality.
  • Keep current on AI‑powered hardware verification advancements.

What you’ll bring

  • Bachelor's or master's in Electrical/Computer Engineering or related.
  • 3-6 years pre-silicon ASIC verification (Formal, SV/UVM, OVM).
  • Advanced debugging of verification failures with waveform viewers and simulation tools.
  • Hands‑on with EDA tools (Jasper, Xcelium, IMC).
  • Strong Verilog, SystemVerilog, Python programming.
  • Excellent communication, team‑oriented.
  • Self‑motivated, proactive problem solving, continuous learning.
  • Exposure to LLMs, ML tech like RAG, RFT, RL, Agentic frameworks (plus).

Nice to have

Exposure to LLMs, ML tech like RAG, RFT, RL, Agentic frameworks.

Skills

Formal VerificationSV/UVMOVMWaveform ViewerSimulation AnalysisJasperXceliumIMCVerilogSystemVerilogPythonMachine LearningLarge Language ModelsRAGRFTRLAgentic Frameworks

Benefits

  • Work on cutting‑edge tech, creative, impactful.
  • Employee‑friendly policies: well‑being, career development, learning, recognition.
  • One Cadence – One Team culture promotes collaboration.
  • Multiple learning and development avenues.
  • Diverse team, passionate, dedicated, supportive.

Education

Bachelor's