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?

Similar Jobs

30

Formal Verification Engineer

Intel·Jerusalem, Israel·Onsite

1mo ago

Formal Verification Engineer

Intel·Jerusalem, Israel·Onsite

1mo ago

Formal Verification Engineer

Tenstorrent·Madrid, Spain +1

1mo ago

Formal Verification Engineer

Nvidia·Bengaluru, Karnataka +1

2mo ago

Formal Verification Engineer

Nvidia·Bengaluru, Karnataka +1·Remote, Hybrid

2mo ago

Formal Verification Engineer

Nvidia·Shanghai, China

2mo ago

Formal Verification Engineer

Nvidia·Shanghai, China

2mo ago

Formal Verification Engineer

Harmonic·London, England +1·Onsite

3mo ago

Formal Verification Engineer

Matx·Mountain View or Remote·Hybrid, Remote

5mo ago

Formal Verification Engineer

Voltai·Palo Alto, California·Hybrid

1y+ ago

Formal Verification Engineer

Asymptotic·HQ Remote·Remote

1y+ ago

Formal Verification Engineer

Formal·Remote·Remote

1y+ ago

Asic Formal Verification Engineer Google Cloud

Google·Remote

Senior Formal Verification Engineer

Intel·SRR4 - SRR4 - Sarjapur 4, India·Hybrid

Today

ASIC Formal Verification Engineer I, Annapurna Labs

Amazon Company

Principal Formal Verification Engineer

Astera Labs·Bengaluru, Karnataka +1

1w ago

Senior Design Formal Verification Engineer

Sifive·Bengaluru, Karnataka +1

1w ago

Junior Formal Verification Engineer, Annapurna Labs

Amazon Company

Formal Verification Engineer - New College Grad 2027

Nvidia·Santa Clara, California

2w ago

Formal Verification Engineer - New College Grad 2027

Nvidia·Santa Clara, California

2w ago

ASIC Formal Verification Engineer I, Annapurna Labs

Amazon Company

Senior Edgeai Soc Formal Verification Engineer Google Cloud

Google

Formal Verification Engineer, Annapurna Labs

Amazon Company

Senior Formal Verification Engineer, Annapurna Labs

Amazon Company

Senior Formal Verification Engineer

Nvidia·Tel Aviv, Israel

1mo ago

Senior Formal Verification Engineer

Openchip And Software Technologies SL·Remote, Hybrid

Senior Soc Formal Verification Engineer Google Cloud

Google

Senior CPU Formal Verification Engineer

Sifive·Bengaluru, Karnataka +1

1mo ago

Staff - Formal Verification Engineer

Sifive·Bengaluru, Karnataka

2mo ago

Staff Formal Verification Engineer

Sifive·Bengaluru, Karnataka

2mo ago