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.
Kostenlos. Atlas passt deinen Lebenslauf an genau diese Stelle an und sucht weiter passende Jobs für dich.
Ohne Optimierung bewerbenAtlas Vorteil
- Lebenslauf und Anschreiben passend zu genau dieser Stelle geschrieben, nicht aus der Schublade.
- Match-Score mit Begründung Atlas zeigt dir, wie gut die Stelle zu dir passt, und sagt ehrlich, was passt und was nicht.
- Alles im Blick im Tracking siehst du, wo jede Bewerbung steht, vom Versand bis zum Gespräch.
Stellenbeschreibung
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.
