Über Siemens Software
Siemens EDA ist ein globaler Technologieführer in der elektronischen Konstruktionsautomatisierung (EDA). Unsere Software-Tools ermöglichen Unternehmen auf der ganzen Welt, hochinnovative elektronische Produkte schneller und kostengünstiger zu entwickeln. Unsere Kunden nutzen unsere Tools, um die Grenzen der Technologie und Physik zu erweitern und bessere Produkte in der zunehmend komplexen Welt der Chip-, Platinen- und Systementwicklung zu liefern.
Aufgaben
- Entwicklung neuer Features für die Questa OneSpin Formal & Static Tool-Suite, die hochalgorithmisch sind und eine Reihe von Technologien verwenden
- Unterstützung der Tools, Behebung von Problemen, die sich auf Kunden auswirken
- Analyse der Tool-Leistung und Qualität der Ergebnisse
Anforderungen
- Master- oder Doktorgrad in Informatik oder Ingenieurwesen
- 5 Jahre einschlägige Berufserfahrung (Doktorandenstudium zählt)
- Hervorragende C++-Entwicklungsfähigkeiten
- Erfahrung mit formalen Algorithmen: Model Checking, SAT-Lösern und zugehörigen Optimierungen
- Vertrautheit mit SystemVerilog und/oder VHDL von Vorteil
- Erfahrung mit Logik-Synthese von Vorteil
- Erfahrung mit ML/KI von Vorteil
Benefits
- Attraktive Vergütung und Sozialleistungen
- Flexible Arbeitszeiten und mobiles Arbeiten
- Herausfordernde Projekte in einem innovativen Umfeld
- Weiterbildungsmöglichkeiten und Karriereentwicklung