20 beste Stellen als system engineer in kaiserslautern, rp – aktuell auf Personalsuche

Formal Verification Engineer
LUBIS EDA —Kaiserslautern
- Vollzeit
Direkt bewerben
Communications Engineer
K2 Group, Inc. —Kaiserslautern
- Vollzeit
- Militär
- Wartung
- Bachelor
Supplier Development Engineer
Elevate Aircraft Seating —Kaiserslautern
- Vollzeit
- Hybrides Arbeiten
- ERP-Systeme
- Englisch
Direkt bewerben
5 Tage
Field Integration Engineer (all genders)
Coherent Corp. —Kaiserslautern
- Mit Reiseanteil
- Führungserfahrung
- Kostenloser Parkplatz
Stationary Engineer
KING AND GEORGE LLC —Landstuhl
- Schemata
- Hochschulreife
- HLK
Direkt bewerben
CDS Network Engineer
General Dynamics Information Technology —Ramstein-Miesenbach
- 106.250 € – 143.750 € pro Jahr
- Informatik
- Bachelor
- Kostenbeteiligung am Arbeitsweg
Senior Network Engineer - Europe
ValidaTek, Inc. —Landstuhl
- 95.577,60 € – 159.296,00 € pro Jahr
- Vollzeit
- Windows
- Bachelor
- Ohne Hochschulabschluss
Professional Service Systems Engineer
Hirsch —Kaiserslautern
- Vollzeit
- Hybrides Arbeiten
- Vertrieb
- Windows
- Mit Reiseanteil
Direkt bewerben
UX Designer (AI) (m/f/d)
TOPdesk —Kaiserslautern
- 4,50 € – 5,50 € pro Monat
- Vollzeit
- Hybrides Arbeiten
- Bachelor
- Künstliche Intelligenz
- Führungserfahrung
- Mitgliedschaft im Fitnessstudio
- Flexible Arbeitszeiten
Direkt bewerben
Berater für Digitale Transformation & KI (m/w/d) – Ideal für Quereinsteiger
mycareernow GmbH —Kaiserslautern
- Ab 50.000 € pro Jahr
- Teilzeit
- Homeoffice
- Machine Learning
- PC-Kenntnisse
- Künstliche Intelligenz
- Weiterbildungsprogramme
Direkt bewerben
9 Tage
UX Designer – Design Systems (m/w/d)
TOPdesk Deutschland —Kaiserslautern
- Arbeitgeber anrufen
- Englisch
- Künstliche Intelligenz
Environmental Health Technician
French Consulting —Landstuhl
- Vollzeit
- Englisch
- Bachelor
Direkt bewerben
Senior Network Engineer
Concept Plus —Landstuhl
- Vollzeit
- Hybrides Arbeiten
- Windows
- Bachelor
- Lebensversicherung
Direkt bewerben
UX Designer - Design Systems (m/f/d)
TOPdesk —Kaiserslautern
- Vollzeit
- Hybrides Arbeiten
- Kostenloser Parkplatz
- Flexible Arbeitszeiten
Direkt bewerben
System Administration Security Manager (SASM)
SAIC —Ramstein-Miesenbach
- Vollzeit
- Homeoffice
- Bachelor
- Mit Reiseanteil
4 Tage
DevOps Engineer
ViewSoft —Ramstein-Miesenbach
- Azure
- Informatik
- DevOps
Quality Control Manager Lead (QCM-L)
KING AND GEORGE LLC —Landstuhl
- Qualitätskontrolle
Direkt bewerben
Senior Network Engineer
Semper Valens Solutions —Wartenberg-Rohrbach
- Vollzeit
- Informatik
- Bachelor
- Führungserfahrung
Direkt bewerben
Database Platform Engineer (all genders)
Accenture —Kaiserslautern
- Vollzeit
- Azure
- Informatik
- Englisch
Central Utility Plant (CUP) Manager
KING AND GEORGE LLC —Landstuhl
- Hochschulreife
- Bachelor
- Führungserfahrung
Direkt bewerben

Ich möchte aktuelle Job-E-Mails für Stellen als system engineer in kaiserslautern, rp erhalten

Wenn Sie sich bei Ihrem Konto anmelden, stimmen Sie den Nutzungsbedingungen, den Richtlinien zur Verwendung von Cookies sowie der Datenschutzerklärung von SimplyHired zu.

Weitere Job-Standorte erkunden

system engineer jobs near kaiserslautern, rp

Formal Verification Engineer

LUBIS EDA
Kaiserslautern

Direkt bewerben

Details zur Stelle

Vollzeit

Qualifikationen

Debugging

Vollständige Stellenbeschreibung

Your mission

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.
- 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.
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.
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.

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.

Direkt bewerben

Erweiterte Suche

system engineer Jobs in kaiserslautern, rp

Formal Verification Engineer

Communications Engineer

Supplier Development Engineer

Field Integration Engineer (all genders)

Stationary Engineer

CDS Network Engineer

Senior Network Engineer - Europe

Professional Service Systems Engineer

UX Designer (AI) (m/f/d)

Berater für Digitale Transformation & KI (m/w/d) – Ideal für Quereinsteiger

UX Designer – Design Systems (m/w/d)

Environmental Health Technician

Senior Network Engineer

UX Designer - Design Systems (m/f/d)

System Administration Security Manager (SASM)

DevOps Engineer

Quality Control Manager Lead (QCM-L)

Senior Network Engineer

Database Platform Engineer (all genders)

Central Utility Plant (CUP) Manager

Ich möchte aktuelle Job-E-Mails für Stellen als system engineer in kaiserslautern, rp erhalten

Weitere Job-Standorte erkunden

Your mission

Your profile

About us

Tools für Jobsuchende

Arbeitgebertools

Durchsuchen

Bleiben Sie in Kontakt