LUBIS EDA

Full-stack Engineer

• Own complex outcomes (weeks to a quarter).
• Turn ambiguity into a plan, drive convergence and debug to closure.
• Set a high bar for property quality, constraint hygiene, and non‑vacuity.
• Drive convergence with sound modeling judgment (abstraction, cutpoints/invariants, assume‑guarantee).
• Take ownership of scope estimation and execution planning, turning unclear requests into a realistic plan (milestones, effort, risks).
• Lead first projects technically with low-to-medium complexity, incl. mentoring others.

Senior Formal Verification Engineer

Engineer

• Own a defined formal deliverable end–to–end
• Work independently in known contexts
• Drive proof closure and hand over sign–off artifacts
• Clarify requirements and co-define the verification strategy
• Produce maintainable SVA and a clean formal environment