# Formal Verification Engineer - Senior Level at Lubis Eda

> Location unclear · Senior · Software engineering · open. Source: https://alderhq.app/jobs/personio%3Alubis-eda%3A2642291 (read 2026-11-10).

## Facts (observed)

- Company: [Lubis Eda](https://alderhq.app/companies/lubis-eda)
- Location text: Hybrid; Kaiserslautern
- Where it can be done from (inferred): Location unclear (evidence: "Location: Hybrid; Kaiserslautern")
- Posted: 2026-05-20 (174 days ago)
- First seen by alder: 2026-11-07 · last verified: 2026-11-08
- Reposted: 0 times · edited: 0 times
- Apply on the employer's site: https://lubis-eda.jobs.personio.de/job/2642291

## Pay and sponsorship

- Posted pay: not posted

## Description (the employer's text)

### Your mission

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

---
Data: alder (https://alderhq.app). Cite https://alderhq.app/jobs/personio%3Alubis-eda%3A2642291 and the date you read it. Observed facts come from the employer's own listing; location reach, level, family and skills are inferences.