Principal Software Engineer (DVT)

Job Title

Principal Software Engineer (DVT)

Role Summary

We are seeking a Principal Software Engineer to join the QuestaSim solver team, focused on enhancing the SystemVerilog constraint solver—part of our industry-leading verification platform. This role combines software engineering with formal methods and high-performance computing expertise.

Experience Level

Senior level with 10-20 years of experience in software development.

Responsibilities

The Principal Software Engineer will be responsible for:

• Developing efficient algorithms and heuristics for solving complex constraint systems.
• Analyzing and improving solver performance, scalability, and reliability.
• Collaborating with product management and cross-functional teams to define technical direction and requirements.
• Providing technical leadership through code reviews, mentoring, and architectural guidance.
• Staying current with advancements in SAT/SMT solving, constraint programming, and EDA methodologies.

Requirements

Candidates must meet the following qualifications:

• BS/MS/Ph.D. in Computer Engineering, Electrical Engineering, Computer Science or a related field.
• 10-20 years of experience in software development with strong proficiency in C/C++ in Linux/Unix environments.
• Expertise in algorithm design, graph theory, computational complexity, and digital simulation.
• Demonstrated ability to profile, tune, and optimize performance-critical systems.
• Strong problem-solving skills, attention to detail, and the ability to work independently on large codebases.
• Excellent communication skills and the ability to influence technical direction.
• Familiarity with SystemVerilog, EDA tools, and semiconductor design/verification flows.
• Experience with SAT/SMT solvers, constraint programming, or symbolic execution.
• Understanding of parallelism, multi-threading, and scalable system design.
• Prior contributions to verification tools or formal methods frameworks.

Education Requirements

BS/MS/Ph.D. in Computer Engineering, Electrical Engineering, Computer Science or a related field is required.

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.