Auf einen Blick
- Aufgaben: Leite komplexe Projekte und verwandle Unklarheiten in klare Pläne.
- Unternehmen: Führendes Unternehmen im Bereich formale Verifikation mit innovativer Kultur.
- Vorteile: Attraktives Gehalt, flexible Arbeitszeiten und Weiterbildungsmöglichkeiten.
- Weitere Informationen: Dynamisches Team mit großartigen Entwicklungsmöglichkeiten.
- Warum dieser Job: Gestalte die Zukunft der Technologie durch präzise Verifikation und innovative Lösungen.
- Qualifikationen: Erfahrung in formaler Verifikation und tiefes Verständnis für SVA und Modellierung.
Das prognostizierte Gehalt liegt zwischen 60000 - 75000 € pro Jahr.
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).
- #J-18808-Ljbffr
Wir glauben, dass du diese Fähigkeiten brauchst, um Senior Formal Verification Engineer mit Bravour zu bestehen
Formale Verifikation
Modellierungskompetenz
Konvergenz- und Debugging-Expertise
SVA (SystemVerilog Assertions)
Risikoabschätzung
Einschätzung des Umfangs
Planung der Ausführung
