Formal Verification Engineer

Your mission

Your Role

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.

Contribute to the design and development of LUBIS EDA’s in-house software tools for automating the Formal Verification process.

Project Management :

Take ownership of formal verification projects, ensuring they are delivered on time, within scope, and to the highest quality.

Serve as the primary technical point of contact for clients, ensuring their requirements are understood and met.

Key  Responsibilities

Your profile

Must-Have Skills :

Additional Skills for Senior / Staff Engineers :

Why us?

LUBIS EDA is a fast-growing startup based in Germany, specializing in  Formal Verification Consulting  and  innovative software development  for automating  formal  verification processes. We work with semiconductor companies of all sizes to verify complex digital IP and RTL designs, reducing verification costs and ensuring high-quality chips.

Join us to contribute to a highly collaborative team, work on  cutting-edge  projects for global clients, and help shape the future of Formal Verification .

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.