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

Formal Verification Engineer - Senior Level.

FULL TIMEHYBRIDSENIOR LEVELENGINEERING

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.

Pay
Not stated
Where
Hybrid · Kaiserslautern
Work
Hybrid
Type
Full time
Posted
20 May, 2026
Apply on the original postingSign in to apply

Verified board

more at Lubis Eda.

23 Sep, 2026

Lubis Eda

Manager Formal Verification (m/f/d)

LELubis Eda logo
  • Full time
  • Hybrid
  • Engineering

Hybrid +1

Hybrid

Details
23 Sep, 2026

Lubis Eda

Head of Formal Verification (m/f/d)

LELubis Eda logo
  • Full time
  • Leadership
  • Hybrid

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