Your role
Youre an early-career engineer who wants to get very good at formal. Youll work alongside experienced engineers on customer projects, learn the LUBIS way of working, and grow step by step from supported execution toward owning your first formal deliverables end-to-end. You will be with us on-site for at least 50% of the time.
Your key responsibilities
* Read specs/RTL and clarify intent with the team.
* Execute verification strategies by implementing SVA properties and running formal proofs in JasperGold / Questa Formal / VC Formal.
* Debug counterexamples, document what you learned, and close the loop with your seniors.
* Keep your work clean and reviewable: assumptions, evidence, and results are easy to follow.
* Be a part of testing newest releases of our tools and provide feedback.
Your profile
* First experience with formal or strong digital verification/design foundations.
* Solid SystemVerilog basics; excited to go deep on SVA.
* Structured thinker who enjoys debugging and solving puzzles.
* Comfortable owning small, well-scoped pieces of work with senior support — youre not waiting to be told the next step.
What success looks like in your first ~90 days
* You nail our onboarding bootcamp and earn the team’s trust: you apply the LUBIS way of working and consistently ship clean, reviewable outputs.
* You can execute parts of Plan/Prep/Execute with guidance and ship reviewed outputs.
* You write properties that are clear, correct, and non‑vacuous (with review support).
Where this leads:
Within 12–18 months, the natural next step is our Professional Formal Verification Engineer role, where you own non-trivial blocks (caches, pipelines, DMAs, NoCs) end-to-end.
We invest in getting you there — bootcamp, paired projects, regular review cycles, and a transparent Career Model.