Formal Verification Engineer

Invidia

Bengaluru, India
Formal verification techniques
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 developing and maintaining an integrated end-to-end formal verification flow and automating verification processes.
  • Invidia offers competitive salaries, generous benefits, and a diverse, inclusive work environment with rapidly growing elite engineering teams.

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 techniques
  • CPU/GPU architecture knowledge
  • Scripting for automation
  • HDL experience with Verilog/SystemVerilog
  • Debugging RTL failures
  • Assertion library maintenance

Nice-to-have

  • Mentoring junior engineers
  • Cross-functional team collaboration
  • Experience with diverse formal verification tools
  • Working in dynamic product teams
  • Collaboration with geographically diverse teams

Key Requirements

  • Bachelor's/Master's in Electronics, Computer Science or Electrical Engineering
  • Minimum 3+ years industry experience in formal verification
  • Strong analytical and communication skills
  • Understanding of temporal logic assertions
  • Experience with CPU design architectures

Work Rights

Not specified

Tailored Resume

Cover Letter