Hiring.Camp

Formal Verification Engineer - Senior Level

Lubis Eda

·

May 20, 2026

Location
Kaiserslautern, Rheinland-Pfalz
Workplace
Hybrid
Department
Engineering
Seniority
Senior
Source
Personio

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?

Skills

GoReactGDPR

Similar Jobs

30

Formal Verification Engineer

Nvidia·India, Bengaluru +1

2w ago

Formal Verification Engineer

Nvidia·Bengaluru, KA +1

2w ago

Formal Verification Engineer

Nvidia·India, Gurugram +1·Remote, Hybrid

2w ago

Formal Verification Engineer

Nvidia·Gurugram, HR +1·Remote, Hybrid

2w ago

Formal Verification Engineer

Nvidia·China, Shanghai

1mo ago

Formal Verification Engineer

Nvidia·Shanghai, CN

1mo ago

Formal Verification Engineer

Harmonic·Palo Alto +1·Onsite

1mo ago

Formal Verification Engineer

Matx·Mountain View, CA

4mo ago

Formal Verification Engineer

Voltai·Palo Alto Office·Hybrid

10mo ago

Formal Verification Engineer

Lubis Eda

1y+ ago

Senior CPU Formal Verification Engineer

Sifive·Hyderabad, India +1

2d ago

Senior Engineer - CPU Verification (ALU, FPU Formal and Datapath Verification)

Sifive·Bengaluru, India

4d ago

Staff Formal Verification Engineer

Sifive·Hyderabad, India +1

1w ago

Staff Design Verification Engineer – CPU Core Formal Verification

Sifive·Austin, TX +1

1w ago

Staff Design Verification Engineer – CPU Core Formal Verification

Sifive·Austin, TX +1

1w ago

Staff Design Verification Engineer – CPU Core Formal Verification

Sifive·Austin, TX +1

1w ago

Senior Staff Engineer, Low Power & Formal Equivalence Verification (VCLP / FEV)

Renesas Electronics·Bengaluru, KA

2w ago

Formal Verification Senior Engineer - Qualcomm, Cambridge, UK

Qualcomm·Cambridge, GB

3w ago

Staff - Formal Verification Engineer

Sifive·Bengaluru, India

3w ago

Sr Engineer, Low Power Verification & Formal Equivalence

Sifive·Bengaluru, India

3w ago

Staff Formal Verification Engineer

Sifive·Bengaluru, India

3w ago

Senior Formal Verification Engineer

Nvidia·India, Bengaluru

1mo ago

Senior Formal Verification Engineer

Nvidia·Bengaluru, KA

1mo ago

Staff GPU Design Verification Engineer – Formal Verification

Samsung·3900 N Capital of Texas Hwy, TX·Onsite

1mo ago

Sr. Formal Verification Engineer, Annapurna Labs

Amazon

2mo ago

Senior Formal Verification Engineer

Nvidia·Israel, Yokneam·Hybrid

2mo ago

Senior Staff Engineer, GPU Design Verification (Formal Verification)

Samsung·3655 N 1st St, CA·Onsite

3mo ago

Formal Verification Engineer - Professional Level

Lubis Eda·Kaiserslautern, Rheinland-Pfalz·Hybrid

4mo ago

Senior Formal Verification Engineer - LPU

Nvidia·Remote, CA +5·Remote

5mo ago

Staff/ Principal Formal Verification Engineer

Asteralabs·Israel

6mo ago