Formal Verification Engineer

Lubis Eda; Kaiserslautern; Vor Ort; EUR 75.000 - 110.000; Vollzeit

Zusammenfassung

LUBIS EDA is seeking a Formal Verification Engineer in Germany to verify RTL designs and IPs for clients. You will implement Assertion IP (AIP) per customer requirements and work with the client’s design team to resolve issues.

You will also contribute to in-house software tools for automating the formal verification process and collaborate with the software team to enhance usability and address client pain points.

Qualifikationen

• Solid understanding of Formal Verification techniques and tools.
• Experience in verifying complex RTL designs using formal methods.
• Proficiency in SystemVerilog Assertions (SVA) and usage of Formal Engines (e.g. VCF).
• Strong problem-solving and debugging skills.

Aufgaben

• Analyze RTL designs, create properties, and run verification scenarios using formal tools (e.g., JasperGold, Questa Formal, Cadence IFV).
• Debug and analyze verification failures, coordinating with client design and verification teams.
• Automate repetitive tasks in verification workflows and contribute to toolchain improvements.
• Provide feedback from client projects to drive the roadmap for LUBIS EDA’s software solutions.
• Stay up-to-date with the latest advancements in formal verification tools and industry trends.
• Document processes and methodologies to ensure knowledge sharing across the team.

Kenntnisse

Formal Verification

RTL verification

SystemVerilog Assertions

Debugging

Tools

JasperGold

Questa Formal

Cadence IFV

VCF

Jobbeschreibung

As a Formal Verification Engineer at LUBIS EDA, you will have a dual responsibility:

• Consulting Services :
  • Work directly with clients to verify their RTL designs and IPs.
  • Create, implement, and debug Assertion IP (AIP) based on customer verification requirements.
  • Developproperties,identifyand report bugs, and collaborate with the client’s design team to resolve issues.
  • Ensure all verification deliverables meet quality standards and project timelines.
• SoftwareAutomation :
  • Contribute to the design and development of LUBIS EDA’s in-house software tools for automating the Formal Verification process.
  • Collaborate with the software development team to develop new methodologies, enhance usability, and address customer pain points.
• Project and Client Management (Senior/Staff Engineers):
  • Project Management :
    • Take ownership of formal verification projects, ensuring they are delivered on time, within scope, and to the highest quality.
• Plan project execution strategies,allocateresources, and track progress using project management tools.
• Lead technical reviews and provide mentoring to junior team members.
• Client Management :
  • Serve as the primary technical point of contact for clients, ensuring their requirements are understood and met.
  • Proactively manage client expectations, providing regular updates and addressing any concerns.
  • Identifyopportunities foradditionalclient engagements or improvements to the verification process.
  • Represent LUBIS EDA in client meetings, fostering trust and long-term relationships.

Key Responsibilities

• Analyze RTL designs, create properties, and run verification scenarios using formal tools (e.g., JasperGold , Questa Formal, Cadence IFV).
• Debug and analyze verification failures, working closely with the client’s design and verification teams.
• Automate repetitive tasks in verification workflows and contribute to toolchain improvements.
• Provide feedback from client projects to drive the roadmap for LUBIS EDA’s software solutions.
• Stay up-to-date with the latest advancements in formal verification tools, techniques, and industry trends.
• Document processes and methodologies to ensure knowledge sharing across the team.

Your profile

Must-Have Skills :

• Solid understanding of Formal Verification techniques and tools.
• Experience in verifying complex RTL designs using formal methods.
• Proficiency in SystemVerilogAssertions (SVA) and usage of Formal Engines (e.g. VCF) in the context of Formal Property Checking.
• Strong problem-solving and debugging skills.

About us

LUBIS is a fast-growing German startup redefining how the semiconductor industry works. We tackle one of its hardest challenges — ensuring complex chips work flawlessly before

they’re built.

Our mission is simple: to transform verification from a craft into a system. By structuring how teams work and automation we make chip design faster, reliable, and bug-free.

LUBIS isn’t just improving the process — we’re defining how verification is done.