Sign up with

Already have an account? Log in here

Need some help?
Talk to us at +91 7670800001

Formal Verification Engineer - Senior Level at LUBIS EDA

Kaiserslautern, Rhineland-Palatinate, Germany -

Full Time

Start Date

Immediate

Expiry Date

18 Aug, 26

Salary

0.0

Posted On

20 May, 26

Experience

5 year(s) or above

Remote Job

Yes

Telecommute

Yes

Sponsor Visa

Skills

Formal Verification, SVA, Modeling Judgment, Convergence, Debug, Verification Strategy, Scope Estimation, Execution Planning, Mentoring, Risk Assessment, Constraint Hygiene, Non-vacuity

Industry

Semiconductor Manufacturing

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 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. Why us? 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.

Responsibilities

The role involves owning the strategy and closure for complex blocks and IP, turning ambiguous requests into realistic execution plans. You will drive convergence through sound modeling judgment and mentor less experienced engineers to raise the overall quality bar.