跳至内容 Skip to footer

Senior Principal Software Engineer(DVT)

职位ID
500197
发布时间
25-3月-2026
组织
Digital Industries
工作领域
Research & Development
公司
Siemens Electronic Design Automation (Korea) LLC
经验水平
高级专业人士
工作职位
全职
工作模式
仅办公室/网站
工作性质
长期
通知語言
  • Seongnam - 京畿道 - 韩国
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-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 optimise 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
$LI-EDA#LI-HYBRID#LI-ML7

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