- 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.
Formal Verification Engineer - Senior Level
Hybrid, Kaiserslautern
Full-time
Permanent employee
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.
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.
Über uns
LUBIS ist ein schnell wachsendes deutsches Start-up-Unternehmen, das die Arbeitsweise der Halbleiterindustrie neu definiert. Wir stellen uns einer der größten Herausforderungen dieser Branche: Wir sorgen dafür, dass komplexe Chips fehlerfrei funktionieren, bevor sie gebaut werden.
Unsere Mission ist einfach: Wir wollen die Verifizierung von einem Handwerk zu einem System machen. Durch die Strukturierung der Teamarbeit und Automatisierung machen wir das Chipdesign schneller, zuverlässiger und fehlerfrei.
LUBIS verbessert nicht nur den Prozess – wir definieren, wie Verifizierung durchgeführt wird.
Unsere Mission ist einfach: Wir wollen die Verifizierung von einem Handwerk zu einem System machen. Durch die Strukturierung der Teamarbeit und Automatisierung machen wir das Chipdesign schneller, zuverlässiger und fehlerfrei.
LUBIS verbessert nicht nur den Prozess – wir definieren, wie Verifizierung durchgeführt wird.