Demo

Principal Software Engineer – QuestaSim Constraint Solver

Siemens EDA (Siemens Digital Industries Software)
Fremont, CA Full Time
POSTED ON 8/5/2025
AVAILABLE BEFORE 10/30/2025
Siemens-EDA is a global technology leader in Electronic Design Automation, providing software solutions that help engineers around the world design and manufacture new and highly innovative electronic products. Each year, our customers use our tools to push the boundaries of technology and physics in order to deliver smaller, faster and more reliable products that run the world’s high tech devices.

Position Overview

We are seeking a Principal Software Engineer to join the QuestaSim solver team, focused on enhancing the SystemVerilog constraint solver — a core engine in our industry-leading verification platform. This is a highly technical role ideal for someone passionate about algorithms, performance optimization, and constraint solving.

You’ll work at the intersection of software engineering, formal methods, and high-performance computing, helping evolve one of the most advanced constraint-solving engines in the EDA space.

Responsibilities

  • Develop efficient algorithms and heuristics for solving large, complex constraint systems
  • Analyze and improve solver performance, scalability, and reliability
  • Collaborate with product management and cross-functional teams to define technical direction and requirements
  • Provide technical leadership through code reviews, mentoring, and architectural guidance
  • Stay current with advancements in SAT/SMT solving, constraint programming, and EDA methodologies

Qualifications

  • BS/MS/Ph.D. in Computer Engineering, Electrical Engineering, Computer Science or a related field
  • 10 years of experience in software development, with strong proficiency in C/C in Linux/Unix environments
  • Expertise in algorithm design, graph theory, and computational complexity
  • Demonstrated ability to profile, tune, and optimize performance-critical systems
  • Strong problem-solving skills, attention to detail, and 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

Why us?

Working at Siemens Software means flexibility - Choosing between working at home and the office at other times is the norm here. We offer great benefits and rewards, as you'd expect from a world leader in industrial software.

A collection of over 377,000 minds building the future, one day at a time in over 200 countries. We're dedicated to equality, and we welcome applications that reflect the diversity of the communities we work in. All employment decisions at Siemens are based on qualifications, merit, and business need. Bring your curiosity and creativity and help us shape tomorrow!

Siemens Software. Transform the Everyday

The salary range for this position is $151,300 to $272,400 and this role is eligible to earn incentive compensation. The actual compensation offered is based on the successful candidate’s work location as well as additional factors, including job-related skills, experience, and relevant education/training. Siemens offers a variety of health and wellness benefits to employees. Details regarding our benefits can be found here: www.benefitsquickstart.com. In addition, this position is eligible for time off in accordance with Company policies, including paid sick leave, paid parental leave, PTO (for non-exempt employees) or non-accrued flexible vacation (for exempt employees).

#DVT

You’ll Benefit From

Siemens offers a variety of health and wellness benefits to our employees. Details regarding our benefits can be found here: https://www.benefitsquickstart.com/siemens/index.html.

The pay range for this position is $151,300 - $272,400 annually. The actual wage offered may be lower or higher depending on budget and candidate experience, knowledge, skills, qualifications, and premium geographic location.

Equal Employment Opportunity Statement

Siemens is an Equal Opportunity Employer encouraging inclusion in the workplace. All qualified applicants will receive consideration for employment without regard to their race, color, creed, religion, national origin, citizenship status, ancestry, sex, age, physical or mental disability unrelated to ability, marital status, family responsibilities, pregnancy, genetic information, sexual orientation, gender expression, gender identity, transgender, sex stereotyping, order of protection status, protected veteran or military status, or an unfavorable discharge from military service, and other categories protected by federal, state or local law.

EEO is the Law

Applicants and employees are protected from discrimination on the basis of race, color, religion, sex, national origin, or any characteristic protected by Federal or other applicable law.

Reasonable Accommodations

If you require a reasonable accommodation in completing a job application, interviewing, completing any pre-employment testing, or otherwise participating in the employee selection process, please fill out the accommodations form by clicking on this link Accommodation for disability form. If you’re unable to complete the form, you can reach out to our AskHR team for support at 1-866-743-6367. Please note our AskHR representatives do not have visibility of application or interview status.

Pay Transparency

Siemens follows Pay Transparency laws.

California Privacy Notice

California residents have the right to receive additional notices about their personal information. To learn more, click here.

Criminal History

Qualified applications with arrest or conviction records will be considered for employment in accordance with applicable local and state laws.

Salary : $151,300 - $272,400

If your compensation planning software is too rigid to deploy winning incentive strategies, it’s time to find an adaptable solution. Compensation Planning
Enhance your organization's compensation strategy with salary data sets that HR and team managers can use to pay your staff right. Surveys & Data Sets

What is the career path for a Principal Software Engineer – QuestaSim Constraint Solver?

Sign up to receive alerts about other jobs on the Principal Software Engineer – QuestaSim Constraint Solver career path by checking the boxes next to the positions that interest you.
Income Estimation: 
$162,237 - $199,353
Income Estimation: 
$222,110 - $256,974
Income Estimation: 
$224,976 - $270,947
Income Estimation: 
$205,834 - $254,869
Income Estimation: 
$242,530 - $287,120
Income Estimation: 
$162,237 - $199,353
Income Estimation: 
$222,110 - $256,974
Income Estimation: 
$224,976 - $270,947
Income Estimation: 
$205,834 - $254,869
Income Estimation: 
$242,530 - $287,120
Income Estimation: 
$85,996 - $102,718
Income Estimation: 
$111,859 - $131,446
Income Estimation: 
$110,457 - $133,106
Income Estimation: 
$105,809 - $128,724
Income Estimation: 
$122,763 - $145,698
Income Estimation: 
$105,809 - $128,724
Income Estimation: 
$136,611 - $163,397
Income Estimation: 
$135,163 - $163,519
Income Estimation: 
$131,953 - $159,624
Income Estimation: 
$150,859 - $181,127
Income Estimation: 
$131,953 - $159,624
Income Estimation: 
$169,825 - $204,021
Income Estimation: 
$166,631 - $195,636
Income Estimation: 
$162,237 - $199,353
Income Estimation: 
$181,083 - $218,117
View Core, Job Family, and Industry Job Skills and Competency Data for more than 15,000 Job Titles Skills Library

Job openings at Siemens EDA (Siemens Digital Industries Software)

Siemens EDA (Siemens Digital Industries Software)
Hired Organization Address Austin, TX Full Time
The Siemens EDA Global Sales team is seeking a motivated account manager to grow our business across multiple existing a...

Not the job you're looking for? Here are some other Principal Software Engineer – QuestaSim Constraint Solver jobs in the Fremont, CA area that may be a better fit.

Principal IT Software Engineer

Cloud Software Group, Santa Clara, CA

AI Assistant is available now!

Feel free to start your new journey!