Software Engineering Director (AI)

Location: Austin, United States

Company

hirify.global develops electronic design automation and semiconductor verification technologies, including Conformal formal verification products and AI-powered verification capabilities.

What you will do

• Provide technical leadership for Conformal Logical Equivalence Checking and ECO product areas.
• Drive architecture, algorithm development, implementation, and end-to-end product execution.
• Improve scalability, performance, capacity, quality, and debugging for complex IC verification and ECO flows.
• Lead AI innovation to improve verification productivity, debugging efficiency, and user workflows.
• Resolve complex technical and customer challenges, including escalations, methodology development, and root-cause analysis.
• Collaborate across R&D, product engineering, validation, product management, and customer-facing teams while mentoring senior engineers.

Requirements

• Extensive EDA software development experience with expertise in formal verification, logic equivalence checking, ECO, synthesis, or related digital design technologies.
• Strong C and C++ development experience, including data structures, algorithms, debugging, object-oriented design, and large-scale software architecture.
• Experience leading complex technical initiatives and delivering production-quality software from concept through deployment.
• Strong knowledge of digital design flows, logic synthesis, formal methods, RTL-to-netlist verification, and semiconductor design methodologies.
• Ability to provide cross-functional technical leadership and influence product direction.
• Ph.D. in Computer Science, Electrical Engineering, Computer Engineering, or a related technical field.

Nice to have

• Experience with commercial EDA products for formal verification, LEC, ECO, low-power verification, or synthesis.
• Knowledge of AI and ML technologies applied to EDA, verification, debugging, or engineering productivity.
• Experience with Tcl, Python, Perl, or shell scripting.
• Experience with Linux or Unix development environments and performance-sensitive software optimization.
• Direct partnership with semiconductor customers on complex technical requirements and escalations.

Culture & Benefits

• Work in a collaborative and supportive engineering environment.
• Contribute to highly visible verification technologies used by leading semiconductor customers.
• Help shape formal verification, ECO, and AI-driven verification methodologies.
• Participate in work focused on technical excellence, innovation, and solving complex IC design challenges.