Skip links

Careers

Formal Verification Engineer

HOD-HASHRON  | R&D | FULL-TIME

NeuroBlade is looking for a Formal Verification Engineer to join our fast-growing engineering team. We are looking for brilliant and passionate people to join us and play a major role in building the next big thing in AI! If you enjoy working on cutting edge technologies and solving complex problems, and  have  team spirit and a can-do-attitude – Your place is with us!

Founded in 2017,  NeuroBlade set out on a mission to redefine computer architecture for AI and other memory intensive tasks. We build high performance solutions for the rapidly growing AI market while lowering costs and power usage. NeuroBlade’s unique hardware solution paired with a complete end-to-end SW stack, enables businesses to take the next leap forward by increasing the efficiency and affordability of their devices from edge devices to datacenters.

WHAT YOU’LL BE DOING

  • Design, review and deploy formal verification environments using  Jasper or similar tools
  • Verify the design and hunt for bugs
  • Use state of the art  formal verification tools and technologies

REQUIRED

  • Deep understanding and proven experience in formal verification using Jasper or similar tools
  • Experience in writing SVA assertions
  • Scripting knowledge – perl, python, TCL, etc.
  • Electronics Engineering degree from a leading institution, graduated with honors

BONUS

  • Knowledge of AI/ML
  • Knowledge and experience in VLSI verification flow, languages & concepts
  • Experience in verification environments using SystemVerilog UVM
  • Experience in logic design, circuit design, and full chip integration
Skip to content