Software Engineer II

TL;DR

Software Engineer II (Formal Verification): Design and develop next-generation formal verification technologies for Conformal products with an accent on core algorithms, data models, and UI workflows that make formal methods scalable and correct-by-construction. Focus on high-performance engines, automation (including agent-based/AI-assisted workflows), and debugging complex customer SoC and hierarchical design issues while integrating with Genus, Innovus, LEC, and Cerebrus flows.

Location: Hsinchu

Company

hirify.global develops software technologies for semiconductor design and verification.

What you will do

• Design and develop core algorithms, data models, software components, and user interfaces for Conformal products.
• Build intuitive UI workflows to make advanced formal technologies accessible and efficient for users.
• 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.

Requirements

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

Culture & Benefits

• Work on formal verification technologies used by leading semiconductor companies worldwide.
• Strong technical impact with close collaboration across global engineering teams.
• Emphasis on rapid prototyping and iterative refinement across UI and backend components.
• Focus on solving hard customer design verification problems with robust, correct-by-construction outcomes.