# Formal Verification Engineer - Professional Level at Lubis Eda

> Location unclear · Unspecified · Software engineering · open. Source: https://alderhq.app/jobs/personio%3Alubis-eda%3A2573655 (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-03-23 (232 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/2573655

## Pay and sponsorship

- Posted pay: not posted

## Description (the employer's text)

### Your mission

- Own a block/area: clarify requirements, co-define the verification strategy (scope, risks, approach), execute, and close.
- Produce maintainable SVA and a clean formal environment (constraints/assumptions with good hygiene).
- Debug efficiently, partner with designers on fixes, and prevent regressions.
- Keep stakeholders aligned with crisp updates and decision-ready evidence.
### Your profile

- Proven experience delivering formal results on non‑trivial RTL (e.g., caches, pipelined processors, DMAs, NoCs).
- Strong SVA skills and hands-on formal tool experience (e.g.: Jasper, VCF, Questa Formal/Onespin).
- Reliable end‑to‑end ownership in a defined scope.
### What success looks like in your first ~90 days

- You nail our onboarding bootcamp and earn the team’s trust: you apply the LUBIS way of working and consistently ship clean, reviewable outputs.
- You engage confidently in scoping and planning with the team: you clarify open questions early, surface risks, and help translate scope into a concrete plan.
- You own a deliverable end‑to‑end in a defined area and ship it without a “rescuer”.
### Where this leads

The natural next step is our Senior Formal Verification Engineer role — leading customer engagements, owning formal architecture decisions, mentoring Associates and Professionals, and shaping how LUBIS approaches new verification problems. We make that path concrete: review cycles, customer-lead rotations, and clear competency milestones.

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