Formal Verification Engineer - Senior Level

Lubis Eda; Kaiserslautern; Vor Ort; EUR 90.000 - 130.000; Vollzeit

Zusammenfassung

LUBIS is a fast-growing German startup redefining semiconductor verification. We seek a senior verification engineer to own complex blocks from plan to closure, improving reliability.

You will mentor peers, define verification strategies, and ensure high-quality results through modeling and SVA. Join us in Kaiserslautern to shape the future of chip design.

Qualifikationen

• Proven track record delivering formal outcomes on complex designs.
• Independent verification strategy: scoping, risk assessment, assumptions/constraints, and closure criteria.

Aufgaben

• Own strategy and closure for complex blocks/IP with quality and stakeholder alignment.
• Lead first projects technically with mentoring.
• Set high standards for property quality and non-vacuity.
• Estimate scope and plan milestones; turn unclear requests into a plan.
• Unblock others through reviews and pairing to improve project reliability.

Kenntnisse

Formal verification

SVA (SystemVerilog Assertions)

Modeling judgment

Convergence & debugging

Mentoring

Stakeholder alignment

Jobbeschreibung

Full-time

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.
• Proven track record of defining a sound verification strategy independently (scoping, risk assessment, assumptions/constraints, and closure criteria).

• 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.