Siemens Industry Software Inc. is looking to enhance the SystemVerilog constraint solver, a core engine in their industry-leading verification platform, by improving its algorithms, performance, scalability, and reliability.
Requirements
- strong proficiency in C/C++
- in Linux/Unix environments
- Expertise in algorithm design
- graph theory
- computational complexity
- Demonstrated ability to profile
- tune
- optimize performance-critical systems
- Familiarity with SystemVerilog
- EDA tools
- semiconductor design/verification flows
- Experience with SAT/SMT solvers
- constraint programming
- symbolic execution
- Understanding of parallelism
- multi-threading
- and scalable system design
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
Other
- BS/MS/Ph.D. in Computer Engineering, Electrical Engineering, Computer Science or a related field
- 10+ years of experience in software development
- Strong problem-solving skills
- attention to detail
- ability to work independently on large codebases
- Excellent communication skills
- ability to influence technical direction
- Prior contributions to verification tools or formal methods frameworks
- Flexibility - Choosing between working at home and the office at other times is the norm here.
- All employment decisions at Siemens are based on qualifications, merit, and business need.
