Software Engineer II at Cadence… · Hsinchu

Software Engineer II Location: HSINCHU At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology. Job Overview We are seeking a highly skilled Software Engineer to join the Conformal R&D team in Hsinchu. In this role, you will design and develop next‑generation formal verification technologies used by leading semiconductor companies worldwide. You will work on high‑performance algorithms, formal engines, automation, and user interfaces that enable scalable, intuitive, and correct‑by‑construction design verification. This position offers strong technical impact and close collaboration with global engineering teams. Job Responsibilities Design and develop core algorithms, data models, software components, and user interfaces for Conformal products. Build intuitive UI workflows that make advanced formal technologies accessible and efficient for users. Apply modern “vibe coding” practices, including rapid prototyping and iterative refinement across UI and backend components. Develop and integrate agent‑based or AI‑assisted workflows to improve productivity, automation, and user experience. Debug and resolve complex customer design issues, including large‑scale SoCs and hierarchical designs. Collaborate with global R&D teams to integrate Conformal technologies with Genus, Innovus, LEC, and Cerebrus flows. Work with field teams to understand customer use cases, reproduce issues, and deliver robust solutions. Job Qualifications Master’s or PhD in Computer Science, Electrical Engineering, or a related field. Strong proficiency in C++ (required); Python or Tcl is a plus. Experience with large‑scale software systems, performance optimization, and complex debugging. Solid understanding of netlist transformation and structural/functional equivalence checking. Interest in or experience with AI‑assisted development, coding agents, or workflow automation. Additional Skills Experience with logic optimization, Boolean or graph‑based algorithms. Ability to combine algorithmic depth with rapid, exploratory development (“vibe coding”). Strong problem‑solving skills and effective cross‑team communication. We’re doing work that matters. Help us solve what others can’t.