Log inSign up free
  • Home
  • Profile
  • Jobs
    • Applications
    • Career
    • Resume
    • Cover letters
  • Content
    • Posts
    • Media
  • Messages
  • Analytics
    • Overview
    • Pages
  • Portfolio
  • More tools
    • Hiring
  • Settings
All jobs
LELubis Eda logo

Lubis Eda

Hybrid

Manager Formal Verification (m/f/d).

FULL TIMEHYBRIDENGINEERING

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.
Pay
Not stated
Where
Hybrid · Kaiserslautern
Work
Hybrid
Type
Full time
Posted
23 Sep, 2026
Apply on the original postingSign in to apply

Verified board

more at Lubis Eda.

23 Sep, 2026

Lubis Eda

Head of Formal Verification (m/f/d)

LELubis Eda logo
  • Full time
  • Leadership
  • Hybrid

Hybrid +1

Hybrid

Details
20 May, 2026

Lubis Eda

Formal Verification Engineer - Senior Level

LELubis Eda logo
  • Full time
  • Senior level
  • Hybrid
  • Engineering

Hybrid +1

Hybrid

Details
23 Mar, 2026

Lubis Eda

Formal Verification Engineer - Professional Level

LELubis Eda logo
  • Full time
  • Hybrid
  • Engineering

Hybrid +1

Hybrid

Details

similar roles.

17 Oct, 2026

10ML

Senior Full-Stack Engineer, E-commerce (TypeScript, Next.js)

1010ML logo
  • Senior level
  • Remote
  • Engineering

€110k–155k/yr

Dortmund, DE

Details
16 Jul, 2026

Channable

Team Lead - Platform Team

CHChannable logo
  • Senior level
  • Engineering

€77k–103k/yr

Utrecht +2

Details
5 Oct, 2026

Channable

Python Software Engineer - Product team

CHChannable logo
  • Engineering

€3,600–5,000/mo

Utrecht +2

Details
18 Oct, 2026

MVRDV

Architecture Internship | March 2027

MVMVRDV logo
  • Internship
  • Intern
  • On-site
  • Engineering

Rotterdam , Netherlands

On-site

Details
18 Oct, 2026

MVRDV

Internship in Architecture - France | March 2027

MVMVRDV logo
  • Internship
  • Intern
  • On-site
  • Engineering

Paris , France

On-site

Details
15 Oct, 2026

cAMPfield Therapeutics

Senior Director, Translational Medicine

CTcAMPfield Therapeutics logo
  • Leadership
  • Hybrid
  • Engineering

Boston +4

Hybrid

Details