Formal Verification Engineer – Senior Level
Lubis EDAJob Title
Formal Verification Engineer – Senior Level
Role Summary
Senior formal verification engineer responsible for defining and executing formal verification strategy for complex blocks/IP. Work with stakeholders to drive convergence, debug to closure, and raise verification quality through reusable assets and mentoring.
Experience Level
Senior - expected to lead projects technically and mentor less experienced engineers. Years of experience not specified.
Responsibilities
Accountable for end-to-end formal verification delivery, strategy, and quality for assigned scopes.
- Define verification scope, risks, assumptions/constraints, and closure criteria for complex blocks/IP.
- Create realistic plans with milestones, effort estimates, and risk mitigation.
- Develop high-quality properties, maintain constraint hygiene, and ensure non-vacuity.
- Model abstractions and use assume–guarantee, cutpoints/invariants to drive convergence.
- Debug convergence issues to closure and provide technical backstop in late-phase problems.
- Lead low-to-medium complexity projects and mentor/review work of junior engineers.
Requirements
Key skills and experience required; concise, role-focused expectations.
- Must-have: Proven track record delivering formal verification outcomes on complex designs.
- Must-have: Deep SVA and formal modeling expertise, with strong convergence and debug skills.
- Must-have: Ability to define verification strategy independently (scoping, risk assessment, assumptions/constraints, closure criteria).
- Must-have: Strong technical communication skills; ability to prevent surprises and align stakeholders.
- Nice-to-have: Prior experience mentoring engineers and leading first projects technically.
Education Requirements
Not specified.
About the Company
Company: Lubis EDA
Lubis EDA provides electronic design automation services and tools, specializing in verification solutions such as formal verification for semiconductor and IP designs. They recruit engineering talent for roles in formal verification and related verification methodologies.
