Principal Software Engineer (AI)

Location: Austin, United States

Company

hirify.global develops electronic design automation and semiconductor design and verification technologies, including formal verification, equivalence checking, ECO, low-power verification, and AI-powered solutions.

What you will do

• Provide technical leadership for Conformal LEC and ECO architecture, algorithm development, implementation, and product execution.
• Lead initiatives improving scalability, performance, capacity, quality, and debugging for complex IC verification and ECO flows.
• Drive AI innovation across verification productivity, debugging efficiency, and user workflows.
• Solve complex technical and customer challenges through methodology development, root-cause analysis, escalations, and robust software delivery.
• Collaborate with R&D, product, validation, and customer-facing teams to define product direction and deliver customer value.
• Mentor senior engineers, provide architectural guidance, and influence long-term technical strategy.

Requirements

• Extensive EDA software development experience with expertise in formal verification, logic equivalence checking, ECO, synthesis, or related digital design technologies.
• Strong C/C++ development experience and knowledge of 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.
• Knowledge of digital design flows, logic synthesis, formal methods, RTL-to-netlist verification, and semiconductor design methodologies.
• Cross-functional technical leadership, strong analytical and communication skills, and experience working in geographically distributed engineering environments.
• 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/ML and experience applying AI to EDA, verification, debugging, or engineering productivity.
• Experience with Tcl, Python, Perl, or shell scripting.
• Experience in Linux/Unix development and optimization of large-scale, performance-sensitive software.
• Direct collaboration with semiconductor customers on complex technical requirements and escalations.

Culture & Benefits

• Collaborative and supportive engineering environment focused on innovation and technical excellence.
• Opportunity to lead highly visible verification technologies used by semiconductor customers.
• Work involving formal verification, ECO, and AI-driven verification methodologies.
• Focus on developing technical talent and raising engineering quality across the organization.