Work with us​

Want to be part of a dynamic and passionate team that transforms how technology leaders verify their chips? Apply today to work with us.

LUBIS EDA team

We are all VIP here

You too, work with an innovative formal verification methodology. That is how we help our customers generate easy-to-use, high-quality formal Verification IP, VIP. It is quite unique, just like you.

Pick your next adventure

See a fit in the list below? Apply.

We are a team of passionates

Great teams make great things. There is no secret. To deliver excellence to our customers, we need the best team. A team where we work hard, have fun, and feel proud.

From socials to conferences, we team up to grow and give our best. We are a cool bunch of bright minds to work with. You too?

Training Topics

  1. Abstraction vectors (time, functionality)
  2. AIP for protocols
  3. AIP orchestration
  4. BMC & IPG, invariants
  5. Codestyle
  6. Completeness
  7. Liveness property, safety property
  8. Non-determinism (abstraction technique)
  9. Response generation (abstraction technique)
  10. Scoreboard (abstraction technique)
  11. Signal cutting, blackboxing
  12. State space explosion and mitigation techniques
  13. SVA fundamentals
  14. Whitebox checking, blackbox checking, greybox checking
  15. Witness, vacuity, reachability

Become a leader in formal verification