Talent.com
Formal Verification Engineer
Formal Verification EngineerLUBIS EDA • Kaiserslautern, Rheinland-Pfalz, DE
Formal Verification Engineer

Formal Verification Engineer

LUBIS EDA • Kaiserslautern, Rheinland-Pfalz, DE
Vor 30+ Tagen
Stellenbeschreibung

Your mission

Your Role

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

  1. 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.
    • Develop properties, identify and report bugs, and collaborate with the client’s design team to resolve issues.
    • Ensure all verification deliverables meet quality standards and project timelines.
  2. Software Automation:
    • 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.
  3. 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, allocate resources, 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.
    • Identify opportunities for additional client 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 SystemVerilog Assertions (SVA) and usage of Formal Engines (e.g. VCF) in the context of Formal Property Checking.
  • Strong problem-solving and debugging skills.

Additional Skills for Senior/Staff Engineers:

  • Proven experience in project and client management within the semiconductor or EDA industry.
  • Strong leadership and mentoring skills.
  • Ability to balance multiple projects and prioritize client needs.
  • Experience in stakeholder communication and managing cross-functional teams

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.

Jobalert für diese Suche erstellen

Formal Verification Engineer • Kaiserslautern, Rheinland-Pfalz, DE

Ähnliche Stellen

Controlling Associate (m/w/d)

Fisher InvestmentsHINZWEILER, Rheinland-Pfalz, Germany

In der Rolle des Controlling Associate (m/w/d) übernehmen Sie die Verantwortung für die Analyse und Überwachung der Rechnungserstellung zur Sicherstellung einer korrekten und termingerechten Abrech...Mehr anzeigen

 • Gesponsert

Solution Architect und Teilprojektleiter:in

NTT DATAKaiserslautern, Rheinland-Pfalz, Germany

Job-Ad-Header-Einzelpersonen-Early-Talents-1920x480px-1.Job-Ad-Header-Einzelpersonen-Professionals-1140x456px-1.Job-Ad-Header-Einzelpersonen-Professionals-1140x456px-1.Job-Ad-Header-Einzelpersonen-...Mehr anzeigen

 • Gesponsert

SAP Public Cloud Berater:in - Schwerpunkt Finance

NTT DATAKaiserslautern, Rheinland-Pfalz, Germany

Job-Ad-Header-Einzelpersonen-Professionals-1140x456px-4.Job-Ad-Header-Einzelpersonen-Professionals-1140x456px-4.SAP Public Cloud Berater:in - Schwerpunkt Finance (w/m/d).MsoNormalTable" style="widt...Mehr anzeigen

 • Gesponsert

Ingenieur Versorgungstechnik / TGA (m/w/d)

Landesbetrieb Liegenschafts- und BaubetreuungWeilerbach, DE

Ob Ministerien oder Krankenhäuser, Kasernen oder militärische Flughäfen, Forschungsbauten für Universitäten und Hochschulen, Spezialimmobilien für Polizei und Justiz oder der Erhalt von Burgen und ...Mehr anzeigen

 • Gesponsert

Professional Cloud & Middleware Architekt (m/w/d)

DCON GmbHKaiserslautern, DE

Wir sind DCON – Hersteller der Plattform für IT- und Enterprise Service Management: Servity.Komm zu uns in die Welt des spannenden IT- und Enterprise Service Managements! Unsere Leidenschaft: Smart...Mehr anzeigen

 • Gesponsert

SAP Program Manager (w/m/d) - Customer SuccessManagement

NTT DATAKaiserslautern, Rheinland-Pfalz, Germany

Job-Ad-Header-Personengruppen-1140x456px-3.Job-Ad-Header-Personengruppen-1140x456px-3.Georgia, serif;color:#2e404d">.SAP Program Manager (w/m/d) - Custom Success Management.Georgia, serif;color:#2e...Mehr anzeigen

 • Gesponsert

Customer Success Manager (m/w/x)

Zazou Studio GmbHKaiserslautern, Germany

Mindestens zwei Jahre Erfahrung im Bereich Customer Success, Account Management oder technischer Support fr ein SaaS-Produkt.Tiefes Verstndnis von Customer Success Konzepten und Strategien.Erfahrun...Mehr anzeigen

 • Gesponsert

Masterand im Bereich AI Fault Detection Solutions -Cognex- (m/w/d)

BITO-Lagertechnik Bittmann GmbHMeisenheim, Rheinland-Pfalz, Deutschland
Quick Apply

Masterand im Bereich AI Fault Detection Solutions -Cognex- (m/w/d).Masterand im Bereich AI Fault Detection Solutions -Cognex- (m/w/d) .Entwicklung und Optimierung einer Bildauswertung mit einer ind...Mehr anzeigen

Account Executive (m/w/d)

Fisher InvestmentsFEILBINGERT, Rheinland-Pfalz, Germany

Stellen Sie sich vor, Sie kommen in ein Vertriebsumfeld, das von motivierten, aufmerksamen und leidenschaftlichen Menschen umgeben ist, die sich dafür einsetzen, die finanzielle Zukunft unserer Kun...Mehr anzeigen

 • Gesponsert

Regional Delivery Assurance Manager (f/m/d)

NTT DATAKaiserslautern, Rheinland-Pfalz, Germany

Job-Ad-Header-Einzelpersonen-Professionals-1140x456px-5.Job-Ad-Header-Einzelpersonen-Professionals-1140x456px-5.Regional Delivery Assurance Manager (f/m/d).Arial, sans-serif;color:#2e404d">.At NTT ...Mehr anzeigen

 • Gesponsert

SAP Adobe Formularentwickler (m/w/i)

DEMANDO GmbHKaiserslautern, Rheinland-Pfalz, Deutschland
Quick Apply

SAP Adobe Formularentwickler (m/w/i) bei DEMANDO GmbH | softgarden.SAP Adobe Formularentwickler (m/w/i).Europaallee 10, 67657 Kaiserslautern.SAP Adobe Formularentwicklung (m/w/i).Bei IT-Prozessen s...Mehr anzeigen

IACS Registrar

French ConsultingWeilerbach- ROMBC, DE
Quick Apply

We are looking for individuals who want to join our Team in Weilerbach, Germany.Job Opening : IACS Registrar Location : ROBMC Weilerbach, Germany – On-Site Start Date : Immediate Schedule : Full-Ti...Mehr anzeigen

Service Desk Associate (m/w/d)

Fisher InvestmentsRODENBACH, Rheinland-Pfalz, Germany

Der FIG Service Desk Associate bietet umfassenden Desktop-Support für Fisher Investments GmbH, seine internen Mitarbeiter und externe Handelsvertreter (Tied Agents).Diese Person ist für die Fehlerb...Mehr anzeigen

 • Gesponsert

Senior Consultant VMware Cloud Foundation (m/w/d)

Medialine EuroTrade AGSobernheim, Rhineland-Palatinate, Germany
Homeoffice
Quick Apply

Diese Position ist für unsere Gesellschaft Medialine EuroTrade AG zu besetzen.Als VMware Cloud Foundation (VCF) Consultant bist du für die Planung, Implementierung und Optimierung moderner, softwar...Mehr anzeigen

Application Engineer (m/w/d)

BITO-Lagertechnik Bittmann GmbHMeisenheim, DE

Als Teil von BITO-Lagertechnik gestalten Sie die Logistik von Morgen.Ihr engagierter Beitrag wird mit attraktiven Konditionen honoriert.Eine gezielte fachliche Einarbeitung und umfangreiche Weiterb...Mehr anzeigen

 • Gesponsert

Application Engineer (m/w/d)

The BIG JobsiteMeisenheim, Rheinland-Pfalz, Germany

Application Engineer (m/w/d) Vollzeit Meisenheim, Deutschland Berufserfahrene Unser Angebot Als Teil von BITO-Lagertechnik gestalten Sie die Logistik von Morgen.Ihr engagierter Beitrag wird mit att...Mehr anzeigen

 • Gesponsert

KI Prompt Engineer/AI Consultant (m/w/d) – 100% remote

mycareernow GmbHKaiserslautern, DE
Homeoffice

AZAV zertifizierter Bildungsträger mit klarem Fokus auf Projektmanagement und Künstliche Intelligenz.Unsere praxisnahen Weiterbildungen bereiten dich gezielt auf den nächsten Karriereschritt vor – ...Mehr anzeigen

FOS-Jahrespraktikum bei der Bundesagentur für Arbeit (Dienstorte: Kaiserslautern, Pirmasens) - Inklusiver Job 🦼 🦻 🦯

Bundesagentur für ArbeitKaiserslautern, Rheinland-Pfalz, DE

Du suchst ein Jahrespraktikum für die Fachoberschule, in dem du Menschen in ganz unterschiedlichen Lebenslagen voranbringen und unterstützen kannst? Am besten in einem systemrelevanten Beruf? Dann....Mehr anzeigen