Lubis Eda
Formal Verification Engineer - Senior Level
Senior Formal Verification Engineer bei der Firma lubis-eda in Kaiserslautern (hybrid). Die Rolle verantwortet komplexe Verifikationsprojekte, definiert Verifikationsstrategien und mentort Kollegen.
Free. Atlas tailors your CV to exactly this role and keeps finding matching jobs for you.
Apply without optimisationThe Atlas advantage
- CV and cover letter written for exactly this role, not copied from a template.
- Match score with reasons Atlas shows you how well the role fits you and tells you honestly what fits and what doesn't.
- Everything in view tracking shows you where every application stands, from sending it to the interview.
Job description
Your mission
You own complex outcomes (weeks to a quarter). You turn ambiguity into a plan, drive convergence and debug to closure, and raise the bar through reusable assets and mentoring.
- Own strategy + closure for complex blocks/IP, including quality and stakeholder alignment.
- 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.
Your profile
- Strong track record delivering formal outcomes on complex designs.
- Deep SVA + modeling judgment + convergence/debug expertise.
- Proven track record of defining a sound verification strategy independently (scoping, risk assessment, assumptions/constraints, and closure criteria).
- Calm, crisp communicator — you prevent surprises.
What success looks like in your first ~90 days
- You take ownership of a complex scope and create clarity (plan, milestones, decision points).
- You unblock others through reviews/pairing and improve project reliability.
- You own a low-to-medium complexity block end-to-end, mentor less experienced colleagues, and reliably step in as the project’s backstop when late-phase issues hit.
About us
LUBIS is a fast-growing German startup redefining how the semiconductor industry works. We tackle one of its hardest challenges — ensuring complex chips work flawlessly before
they’re built.
Our mission is simple: to transform verification from a craft into a system. By structuring how teams work and automation we make chip design faster, reliable, and bug-free.
LUBIS isn’t just improving the process — we’re defining how verification is done.
