Software Engineer - Consultant
$151.3k/y-$272.4k/y
Siemens EDA (Siemens Digital Industries Software)a day ago
Highlight
OnsiteFull-timeDirector
Summary
Siemens EDA (Siemens Digital Industries Software) is seeking a Principal Software Engineer - Consultant to join their QuestaSim solver team in Austin, TX. The role focuses on enhancing the SystemVerilog constraint solver, a core engine in their verification platform.
About the Role
As a Principal Software Engineer, you will develop efficient algorithms and heuristics for solving complex constraint systems, analyze and improve solver performance, and collaborate with cross-functional teams to define technical direction. You will also provide technical leadership through code reviews and mentoring, while staying current with advancements in SAT/SMT solving and EDA methodologies.
About You
Required:
- 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 ability to work independently on large codebases.
- Excellent communication skills and the ability to influence technical direction.
Preferred:
- 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.
Benefits
- Flexible working arrangements between home and office.
- Comprehensive health and wellness benefits.
- Paid sick leave, paid parental leave, and PTO or flexible vacation.
Siemens EDA (Siemens Digital Industries Software)
Siemens EDA, a segment of Siemens Digital Industries Software, is a technology leader in software and hardware for electronic design automation (EDA). Siemens EDA offers proven software tools and industry-leading technology to address the challenges of design and system level scaling, delivering more predictable outcomes when transitioning to the next technology node. With a closed-loop digital twin managing the silicon lifecycle, data can move freely between design, manufacturing and the cloud for chips, boards and electrical and electronic systems. Our commitment to openness and industry alliances facilitates collaboration and interoperability across the EDA and electronics ecosystem -- Siemens is where EDA meets tomorrow.
Austin, TX