Senior Formal Verification Engineer

Jobtailor; Kaiserslautern; Vor Ort; EUR 70.000 - 100.000; Vollzeit

Zusammenfassung

Jobtailor in Kaiserslautern, Germany seeks an expert in formal verification and SVA-driven modeling to own complex outcomes and guide project convergence. You will turn ambiguous requests into concrete plans, uphold high standards for property quality, and define verification strategies while mentoring junior engineers.

Ideal candidates bring a strong track record in complex designs, deep SVA expertise, and the ability to independently scope, assess risks, and establish closure criteria within a

Qualifikationen

• Strong track record delivering formal outcomes on complex designs.
• Deep SVA and modeling judgment with convergence/debug expertise.
• Proven ability to define a sound verification strategy independently (scoping, risk assessments, constraints).

Aufgaben

• Own complex outcomes spanning weeks to a quarter, delivering with clarity.
• Turn ambiguity into actionable plans and drive convergence to closure.
• Set a high bar for property quality and constraint hygiene.
• Apply sound modeling judgment (abstraction, invariants, assume-guarantee).
• Own scope estimation and execution planning, turning unclear requests into plans.
• Lead initial projects technically, mentoring others where needed.

Kenntnisse

Formal outcomes

SVA modeling

Convergence debugging

Verification strategy

Jobbeschreibung

Responsibilities

• Own complex outcomes (weeks to a quarter).
• Turn ambiguity into a plan, drive convergence and debug to closure.
• 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.

Requirements

• 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).