Your mission

• 10h/week, from July 2025, hybrid
• Be trained in state-of-the-art formal verification techniques
• Be part of our verification team and help us verifying customers designs
• Work on your own, with a team or lead your own project

Your profile

• Ability to work independently and in a team
• Basic knowledge in SystemVerilog/VHDL
• Business level English
• Beneficial: basic knowledge in SVA

Why us?

• Flexible working hours that allow you to be the boss of your own work
• Contribute your own ideas and manage your own development
• Remote and on-site work
• Regular team events in a young, dynamic, intercultural team
• Hands-on insight into the working world and the growth of a startup

About us

At LUBIS EDA, we help our customers to find simulation-resistant bugs in their high-risk IP blocks. There is a large demand for formal methods, as it is a very efficient way to tackle the industry’s verification problems. We developed a game-changing software solution that we use inhouse, making Formal Verification more intuitive and easier. We are looking for people that want to become an expert in their field. Make a change and built a company together with us!