* Job ID: 499501
* Posted since: 18-Mar-2026
* Organization: Digital Industries
* Field of work: Research & Development
* Company: Altair Engineering GmbH
* Experience level: Experienced Professional
* Job type: Full-time
* Work mode: Hybrid (Remote/Office)
* Employment type: Permanent
* Location(s): Freiburg im Breisgau - - Germany
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, 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
Come and learn more about Siemens Software: Mission / Vision and our software portfolio - or visit our homepage.
We value equal opportunities and welcome applications from people with disabilities. 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