Formal Verification Engineer

Invidia

Bangalore, , India
Formal verification flows development
Cpu/gpu architecture knowledge
Scripting for automation
This position involves crafting and optimizing formal verification flows across CPU/GPU projects and resolving tool issues with vendors

Job Summary

  • This position involves crafting and optimizing formal verification flows across CPU/GPU projects and resolving tool issues with vendors.
  • The role requires working closely with architects, designers, and verification teams to ensure design correctness using advanced formal techniques.
  • Invidia offers competitive salaries, a generous benefits package, and values diversity as an equal opportunity employer.

Matching Summary

This position involves crafting and optimizing formal verification flows across CPU/GPU projects and resolving tool issues with vendors.

Skills & Requirements

Must-have

  • Formal verification flows development
  • CPU/GPU architecture knowledge
  • Scripting for automation
  • HDL experience with Verilog/SystemVerilog
  • Debugging RTL failures
  • Temporal logic assertions understanding

Nice-to-have

  • Collaboration with cross-site teams
  • Mentoring junior engineers
  • Experience with multiple formal verification tools
  • Working in dynamic product-oriented teams

Key Requirements

  • Bachelor's or Master's in Electronics, Computer Science or Electrical Engineering
  • Minimum 3+ years industry experience in formal verification
  • Strong analytical skills
  • Strong communication skills

Work Rights

Not specified

Tailored Resume

Cover Letter