Software Engineer - Consultant jobs in United States
cer-icon
Apply on Employer Site
company-logo

Siemens EDA (Siemens Digital Industries Software) ยท 1 month ago

Software Engineer - Consultant

positionAustin, TX
timeFull-time
remoteHybrid
senioritySenior Level, Lead/Staff
money$151K/yr - $272K/yr
date20+ years exp

Siemens EDA is a global technology leader in Electronic Design Automation, providing software solutions for innovative electronic product design. They are seeking a Principal Software Engineer to enhance the SystemVerilog constraint solver, focusing on algorithms, performance optimization, and constraint solving within their verification platform.

Computer Software
check
H1B Sponsor Likelynote

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

Qualification

C/C++Algorithm designPerformance optimizationSystemVerilogSAT/SMT solversConstraint programmingMulti-threadingProblem-solvingCommunication skillsAttention to detail

Required

BS/MS/Ph.D. in Computer Engineering, Electrical Engineering, Computer Science or a related field
20+ 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

Benefits

Health and wellness benefits
Paid sick leave
Paid parental leave
PTO (for non-exempt employees)
Non-accrued flexible vacation (for exempt employees)

Company

Siemens EDA (Siemens Digital Industries Software)

twitter
company-logo
Siemens EDA, a segment of Siemens Digital Industries Software, is a technology leader in software and hardware for electronic design automation (EDA).
people-size1001-5000 employees
web-link
https://eda.sw.siemens.com/

H1B Sponsorship

Siemens EDA (Siemens Digital Industries Software) has a track record of offering H1B sponsorships. Please note that this does not guarantee sponsorship for this specific role. Below presents additional info for your reference. (Data Powered by US Department of Labor)
Distribution of Different Job Fields Receiving Sponsorship
Represents job field similar to this job
Trends of Total Sponsorships
2023 (1)
2022 (1)

Funding

Current Stage
Late Stage

Leadership Team

leader-logo
Michelle Gray, MSM-HRM
Human Resources Business Partner
linkedin
Company data provided by crunchbase