Siemens AG
79098 Freiburg im Breisgau - Deutschland
Ingenieur/in - Systems Engineering
Arbeit
Vollzeit
ab 02.04.2026
Beschreibung
Siemens EDA is a global technology leader in Electronic Design Automation software. Our software tools enable companies around the world to develop highly innovative electronic products faster and more cost-effectively. Our customers use our tools to push the boundaries of technology and physics to deliver better products in the increasingly complex world of chip, board, and system design.
**Overview:**
Join our team now as **"Senior R&D Engineer (m/f/d)”** at one of our Freiburg office in Germ... weiter lesen
**Overview:**
Join our team now as **"Senior R&D Engineer (m/f/d)”** at one of our Freiburg office in Germ... weiter lesen
Siemens EDA is a global technology leader in Electronic Design Automation software. Our software tools enable companies around the world to develop highly innovative electronic products faster and more cost-effectively. Our customers use our tools to push the boundaries of technology and physics to deliver better products in the increasingly complex world of chip, board, and system design.
**Overview:**
Join our team now as **"Senior R&D Engineer (m/f/d)”** at one of our Freiburg office in Germany.
This is an R&D position developing static and formal tools for the verification of RTL functionality, supporting the “Questa OneSpin Static&Formal” product line. Join a world-class engineering team designing, developing, modifying, and implementing leading edge tools.
- Work improving formal verification and model checking algorithms for functional verification.- Develop new products and new features for existing products.- Apply multi-processing in grid and cloud environments.- Work directly with customers and application engineers to debug and resolve tool issues.
**Responsibilities and deliverables associated with the role:**
- You will be working in an R&D team, developing primarily in C++ & Python.- You will be developing new features for the Questa OneSpin Formal & Static tool suite, which are highly algorithmic and use a range of technologies.- You will be supporting the tools, fixing tool issues that are impacting customers.- You will be analyzing tool performance and quality-of-results.
**Qualifications:**
- Masters or PhD degree in computer science or engineering- 5 years relevant work experience (PhD studies count)- Some travel may be required.- Must be excellent C++ developer.- Must be experienced with formal algorithms: model checking, SAT solvers, and associated optimizations.- Familiarity with SystemVerilog and/or VHDL is a bonus.- Experience with logic synthesis is a bonus.- Experience with ML/AI is a bonus.
**Working at Siemens Software**
**Why us?**
We look forward to your application! Please use only our career platform, which you can access via "Apply now".
Send us an email to [careers-DACH.sisw@siemens.com](mailto:careers-DACH.sisw@siemens.com), if you would like to clarify initial questions with our recruiting team. Contact person for this job advertisement is **Dominik Strumidel –** [**dominik.strumidel@siemens.com**](mailto:dominik.strumidel@siemens.com)
Come and learn more about Siemens Software: [Mission / Vision and our software portfolio](https://www.sw.siemens.com/) - or visit our [homepage](https://www.plm.automation.siemens.com/global/de/).
We value equal opportunities and welcome applications from [people with disabilities](https://new.siemens.com/de/de/unternehmen/jobs/arbeiten-bei-siemens/jobs-ohne-barrieren.html). At Siemens, we believe people who’ve had real experiences dealing with being different will excel as leaders. Let's foster a culture of creativity and innovation. We will ensure that individuals with disabilities are provided reasonable accommodation to participate in the job application or interview process, to perform essential job functions, and to receive other benefits and privileges of employment. Please contact us to request accommodation.
**Transform the everyday**
**#LI-EDA**
**#LI-Hybrid#LI-DS1**
**Overview:**
Join our team now as **"Senior R&D Engineer (m/f/d)”** at one of our Freiburg office in Germany.
This is an R&D position developing static and formal tools for the verification of RTL functionality, supporting the “Questa OneSpin Static&Formal” product line. Join a world-class engineering team designing, developing, modifying, and implementing leading edge tools.
- Work improving formal verification and model checking algorithms for functional verification.- Develop new products and new features for existing products.- Apply multi-processing in grid and cloud environments.- Work directly with customers and application engineers to debug and resolve tool issues.
**Responsibilities and deliverables associated with the role:**
- You will be working in an R&D team, developing primarily in C++ & Python.- You will be developing new features for the Questa OneSpin Formal & Static tool suite, which are highly algorithmic and use a range of technologies.- You will be supporting the tools, fixing tool issues that are impacting customers.- You will be analyzing tool performance and quality-of-results.
**Qualifications:**
- Masters or PhD degree in computer science or engineering- 5 years relevant work experience (PhD studies count)- Some travel may be required.- Must be excellent C++ developer.- Must be experienced with formal algorithms: model checking, SAT solvers, and associated optimizations.- Familiarity with SystemVerilog and/or VHDL is a bonus.- Experience with logic synthesis is a bonus.- Experience with ML/AI is a bonus.
**Working at Siemens Software**
**Why us?**
We look forward to your application! Please use only our career platform, which you can access via "Apply now".
Send us an email to [careers-DACH.sisw@siemens.com](mailto:careers-DACH.sisw@siemens.com), if you would like to clarify initial questions with our recruiting team. Contact person for this job advertisement is **Dominik Strumidel –** [**dominik.strumidel@siemens.com**](mailto:dominik.strumidel@siemens.com)
Come and learn more about Siemens Software: [Mission / Vision and our software portfolio](https://www.sw.siemens.com/) - or visit our [homepage](https://www.plm.automation.siemens.com/global/de/).
We value equal opportunities and welcome applications from [people with disabilities](https://new.siemens.com/de/de/unternehmen/jobs/arbeiten-bei-siemens/jobs-ohne-barrieren.html). At Siemens, we believe people who’ve had real experiences dealing with being different will excel as leaders. Let's foster a culture of creativity and innovation. We will ensure that individuals with disabilities are provided reasonable accommodation to participate in the job application or interview process, to perform essential job functions, and to receive other benefits and privileges of employment. Please contact us to request accommodation.
**Transform the everyday**
**#LI-EDA**
**#LI-Hybrid#LI-DS1**
Ref-Nr.: 10188817
Aktualisiert:
03.04.2026
Quelle: Bundesagentur für Arbeit
weitere Infos Rechtliche Hinweise zur Nutzung
Ob die Stelle noch verfügbar ist und weitere Informationen findest du direkt auf der Website der Bundesagentur für Arbeit. Bitte beachte: OPROMA ist nicht der Anbieter dieser Stelle und kann keine Auskünfte geben.
weitere Infos Rechtliche Hinweise zur Nutzung
Ob die Stelle noch verfügbar ist und weitere Informationen findest du direkt auf der Website der Bundesagentur für Arbeit. Bitte beachte: OPROMA ist nicht der Anbieter dieser Stelle und kann keine Auskünfte geben.
Passende Jobvorschläge
Basierend auf Beruf und Standort
Basierend auf Beruf und Standort
Passende Jobs für dich
2G Energy AG
Heek
Feste Anstellung
Schwarz Digits
Weinsberg
Feste Anstellung
50Hertz Transmission GmbH
Berlin
Feste Anstellung
Kostenlose Hilfe für deine Bewerbung
Erstelle ein kostenloses Bewerberprofil und erhalte unser E-Book
"Die perfekte Bewerbung" – plus weitere Vorteile für deine Jobsuche.
Gratis E-Book: Die perfekte Bewerbung
Werde von Arbeitgebern gefunden
Passende Jobvorschläge nach Beruf & Stadt
Jobs speichern & später bewerben
Kostenlos & unverbindlich - Keine Werbung - Account jederzeit löschbar
Die Bewerbung erfolgt über die Webseite der Bundesagentur für Arbeit (BA).
