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.