💼 Full-Time Position

Formal Verification Engineer - Senior Level

🏢
LUBIS EDA
📍 Germany, Germany, Germany
📍
Location
Germany, Germany
📅
Posted
June 01, 2026
Type
Full-Time
🎯

Full-Time Opportunity: This is a permanent, full-time position with a competitive package and real career growth potential.

Job Description

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