Formal Verification Engineer – Professional Level
LUBISJob Title
Formal Verification Engineer 6 Professional Level
Role Summary
Deliver formal verification for a defined block or area end-to-end: clarify requirements, co-define verification strategy, execute proofs, and produce sign-off artifacts. Work independently within known contexts, drive proof closure, and coordinate with RTL designers and stakeholders.
Position is hybrid in Kaiserslautern and reports into the verification team. The role emphasizes practical delivery of maintainable SVA and formal environments and reliable ownership of deliverables that run on a days-to-weeks cadence.
Experience Level
Mid-level (Professional). Candidates are expected to have practical formal verification experience; roughly 3 6 years or more of hands-on verification work is typical for this level.
Responsibilities
Primary responsibilities and day-to-day activities include:
- Own a block/area: clarify requirements, define scope and risks, create a verification plan, execute, and close the deliverable.
- Develop and maintain SVA assertions and a clean formal environment (constraints, assumptions, and hygiene).
- Run formal proofs, diagnose counterexamples, and debug RTL interactions to achieve proof closure.
- Partner with designers to propose and validate fixes; prevent regressions through effective test/constraint design.
- Provide concise status updates and decision-ready evidence to stakeholders.
Requirements
Core qualifications and skills required to perform the role:
- Must-have: Proven experience delivering formal results on non-trivial RTL (examples: caches, pipelined processors, DMAs, NoCs).
- Must-have: Strong SystemVerilog Assertions (SVA) skills and hands-on experience with commercial formal tools (examples: Jasper, VCF, Questa Formal, OneSpin).
- Must-have: Demonstrated ownership of end-to-end deliverables within a defined scope, producing reviewable outputs.
- Ability to produce maintainable formal environments: clear constraints/assumptions and hygiene practices.
- Efficient debugging skills and experience collaborating with RTL designers to close issues and prevent regressions.
- Nice-to-have: Experience mentoring junior engineers or participating in formal architecture decisions.
Education Requirements
Not specified.
About the Company
Company: LUBIS
Headquarters: Kaiserslautern, Germany
LUBIS is a German startup focused on transforming semiconductor verification by combining consulting services and in-house automation tools to ensure complex chips are verified before fabrication. They provide formal verification consulting, develop Assertion IP and software to automate formal verification workflows, and collaborate with clients to improve verification processes.
