Manager Formal Verification (m/f/d)

Hybrid, Kaiserslautern

Full-time

Permanent employee

Your mission

You lead a team of 10 to 15 formal verification engineers. They own the technical work: verification plans, assertions, proofs, sign-off. You own the environment to make this a success.
That split protects focus time, which is what formal verification runs on: you absorb the coordination before it reaches an engineer.

Concretely, you own:

Team. Disciplinary lead for the group. Development, feedback, and the hard conversations.
Projects. Timelines, capacity planning, and the scope calls when a project comes under pressure.
Customers. The relationship is yours, from the first conversation to sign-off and beyond. You run status and scope, and you stay the contact between engagements. You keep them happy throughout the engagement, with the goal that they come back for their next program.
New business. You join customer conversations early and assess feasibility and scope. Sales relies on you as the technical counterpart when they work with new clients. Once the direction is set, a senior engineer joins you to build the verification plan.
Practice. You apply our FV process consistently, run post-project reviews, and hire for your own team. You do not write the standards; you are the reason they hold on every project, and the first to say when one needs to change.

Your profile

You have owned a complete verification block end-to-end. You will not do FV work in this role, but you need that depth to assess a customer ask, judge an engineer’s plan, and rate skill honestly in a development talk.

People work energises you rather than draining you. You read people fast. You communicate so that everyone knows what happens next. You absorb problems instead of passing them on.

YOUR EXPERIENCE

Formal verification on non-trivial RTL: caches, pipelined processors, DMAs, NoCs or similar.
Strong SystemVerilog Assertions. Hands-on with JasperGold, VC Formal, Questa Formal or OneSpin.
Convergence techniques: abstraction, cutpoints, invariants, constraint hygiene, non-vacuity.
Proven track record of leading engineers, as a people manager or technical lead.
Customer-facing experience in scoping or early technical conversations before a project starts.
A record of building business and technical relationships with external parties.

Why us?

If formal verification is your craft, there are few places where you can go deeper into it than here. You’ll work alongside engineers who live and breathe formal verification. The problems are genuinely difficult. The people around you will push you to get better.

We want LUBIS to be one of the best places in the industry to become exceptional at formal verification. This role is a big part of making that happen.
You’ll lead and develop a highly technical team, raise the bar for engineering excellence, and shape how we approach verification as we grow.
You’ll be responsible for developing others. Expect the same for yourself: new challenges, strong technical sparring partners, and room to keep pushing your own expertise.

If you want to lead great formal verification engineers and get even better at your own craft along the way, we should talk.

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.