Software Engineer II

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.

• 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.

• 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.