Software Engineer - C++

Job Title

Software Engineer - C++

Role Summary

Join the Questa formal verification product team within Siemens EDA to design, implement, and maintain components used for formal verification workflows. The role spans the full software lifecycle: writing specifications, designing algorithms, implementing code, and creating test plans.

You will collaborate with engineers and customers to deliver scalable, testable solutions, take ownership of components, and help improve development practices within the team.

Experience Level

Mid-level — 2 to 5 years of professional software development experience, preferably in the design and verification domain.

Responsibilities

Primary responsibilities focus on feature design and implementation for formal verification tools and associated infrastructure.

• Design and implement new features and enhancements for formal verification products.
• Develop and optimize graph-based formal models and efficient netlist representation models.
• Create functional specifications, algorithms, and test plans; write production-quality code and unit/integration tests.
• Ensure solutions are scalable, maintainable, and testable; improve code quality and software practices.
• Collaborate across engineering teams and directly support customers as needed.
• Own specific components, drive them to production quality, and mentor colleagues when required.

Requirements

Must-have technical skills and experience.

• Strong C++ skills, including design patterns, algorithms, and data structures.
• Proficiency in advanced data structures and complexity analysis.
• Knowledge of Verilog/SystemVerilog/VHDL.
• Scripting experience: Perl, Python, Bash, Tcl.
• Familiarity with build and debugging tools: Makefile, gdb, valgrind; coverage and profiling tools (gcov); version control (git/perforce); common IDEs.
• Proven experience delivering large, end-to-end software projects on Linux platforms.
• Strong analytical and problem-solving abilities; able to work independently and in teams.
• Good communication and collaboration skills across multicultural technical teams.

Nice-to-have:

• Exposure to formal verification, synthesis, simulation, assertions, and coverage techniques.

Education Requirements

Required: BE / B.Tech / M.Tech in Computer Science & Engineering (CSE) or Electronics & Communication Engineering (ECE) from a reputed engineering college.

About the Company

Company: Siemens

Headquarters: Munich, Germany

Siemens EDA is a leading global provider of Electronic Design Automation (EDA) products and systems. Their innovative solutions enable companies to enhance the development of electronic products efficiently and effectively, keeping pace with the complex demands of technology and physics. Siemens is committed to delivering advanced workflow solutions that integrate both EDA and MCAD tools for multi-domain design and manufacturing in the semiconductor industry.