Formal Verification Engineer
LUBISJob Title
Formal Verification Engineer
Role Summary
The Formal Verification Engineer will perform formal verification of RTL/IP for customers and contribute to in-house automation tools. The role combines client-facing consulting work with software development to improve formal verification workflows.
Experience Level
Mid-level
Responsibilities
Primary responsibilities cover consulting verification engagements, developing formal properties and assertion IP, and contributing to automation tooling. Senior or staff engineers are expected to lead projects and manage client relationships.
- Analyze RTL designs and develop formal properties and Assertion IP (AIP) based on customer requirements.
- Execute formal verification flows using tools such as JasperGold, Questa Formal, and Cadence IFV.
- Debug verification failures and work with client design and verification teams to resolve issues.
- Automate repetitive verification tasks and improve the internal toolchain and workflows.
- Contribute customer feedback to the product roadmap and document processes for knowledge sharing.
- (Senior/Staff) Plan and own project execution, allocate resources, lead technical reviews, and mentor junior engineers.
- (Senior/Staff) Serve as primary technical contact for clients and manage client expectations and communications.
Requirements
Must-have skills and practical experience required for the role.
- Solid understanding of formal verification techniques and methodologies.
- Experience verifying complex RTL designs using formal methods.
- Proficiency in SystemVerilog Assertions (SVA) and experience with formal engines and property checking.
- Strong problem-solving and debugging skills.
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.
