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

Intel · SRR4 - SRR4 - Sarjapur 4, India

1 month ago

Formal Verification Engineer

Intel · SRR4 - SRR4 - Sarjapur 4, India

1 month ago

Formal Verification Engineer

Matx · Mountain View, CA

2 months ago

Formal Verification Engineer

Voltai · Palo Alto Office · Hybrid

9 months ago

Formal Verification Engineer

Lubis Eda

1+ year ago

CPU Formal Verification Engineer

Qualcomm · Santa Clara, CA,US, US

5 days ago

Formal Verification Sr Staff Engineer - Noida

Qualcomm · Bengaluru, KA,IN, IN

1 week ago

Sr. Formal Verification Engineer, Annapurna Labs

Amazon

2 weeks ago

Formal Verification Engineer, Staff

Qualcomm · Bengaluru, KA,IN, IN

3 weeks ago

Formal Verification Engineer - New College Grad 2026

Nvidia · Santa Clara, CA,US, US

1 month ago

Formal Verification Engineer - New College Grad 2026

Nvidia · US, CA, Santa Clara, United States of America

1 month ago

Senior Staff Engineer, GPU Design Verification (Formal Verification)

Samsung · 3655 N 1st St, San Jose, CA, USA, United States of America · Onsite

1 month ago

Senior Software Engineer, Formal Verification

Category Labs · Remote +1 · Remote

1 month ago

Staff Engineer - Formal Verification

Sifive · Bengaluru, India

1 month ago

Senior Formal Verification Engineer

Nvidia · Santa Clara, CA,US, US

1 month ago

Senior Formal Verification Engineer

Nvidia · US, CA, Santa Clara, United States of America

1 month ago

Formal Verification Engineer - New College Grad 2026

Nvidia · US, CA, Santa Clara, United States of America

2 months ago

Formal Verification Engineer - New College Grad 2026

Nvidia · Santa Clara, CA,US, US

2 months ago

Staff Engineer, Low Power Verification & Formal Equivalence

Sifive · Bengaluru, India

2 months ago

Formal Verification Engineer - Professional Level

Lubis Eda · Kaiserslautern, Rheinland-Pfalz · Hybrid

2 months ago

Application Engineer Manager – Formal Verification and Functional Simulation

Cadence Design · BELO HORIZONTE 02, Brazil · Hybrid

3 months ago

Senior Formal Verification Engineer, GPU Kernels

Nvidia · US, CA, Santa Clara, United States of America

3 months ago

Senior Formal Verification Engineer

Nvidia · US, CA, Santa Clara, United States of America +3 · Remote, Hybrid

3 months ago

Senior Formal Verification Engineer - LPU

Nvidia · US, CA, Remote, United States of America +5 · Remote

3 months ago

Staff/ Principal Formal Verification Engineer

Asteralabs · Israel

4 months ago

Senior Formal Verification Engineer

Nvidia · Canada, Remote · Remote

5 months ago

Senior Formal Verification Engineer

Nvidia · US, CA, Remote, United States of America +4 · Remote

5 months ago

Senior Formal Verification Engineer – AI SoC Development

Intel · USA - CA - Folsom, United States of America +3

5 months ago

Senior Formal Verification Engineer – AI SoC Development

Intel · USA - CA - Folsom, United States of America +3

5 months ago

Formal Verification Engineer - New College Grad 2026

Nvidia

6 months ago