Senior Formal Verification Engineer (AI SoC)

TL;DR

Senior Formal Verification Engineer (AI): Ensuring functional correctness of complex digital designs for next-generation AI SoCs with an accent on formal verification strategy and execution using industry-standard tools and SystemVerilog Assertions. Focus on identifying corner cases, driving formal sign-off, and contributing to pre-silicon verification and post-silicon debug.

Location: US, California, Folsom; US, Oregon, Hillsboro; US, California, Santa Clara; US, Texas, Austin. This role is eligible for a hybrid work model, splitting time between on-site at an assigned hirify.global site and off-site.

Salary: $220,920–$311,890 USD

Company

hirify.global is a corporation driving innovation in next-generation ASICs for AI applications across edge and cloud, known for its processors and making amazing experiences possible for business and society.

What you will do

• Own formal verification strategy and execution for complex SoC IP blocks and subsystems.
• Develop and maintain formal verification environments using SystemVerilog Assertions (SVA) and industry-standard formal tools.
• Collaborate with design and simulation teams to identify corner cases and complement dynamic verification.
• Drive formal sign-off, including convergence analysis and coverage closure.
• Contribute to pre-silicon verification, chip bring-up, and post-silicon debug support.
• Mentor junior engineers and establish best practices for formal verification methodology.

Requirements

• Bachelor's degree in Electrical Engineering, Computer Engineering, or Computer Science.
• 10+ years of related experience, including 7+ years in ASIC/SoC verification with at least 3+ years focused on formal verification.
• Expertise in formal verification methodologies and tools (e.g., JasperGold, VC Formal, Questa Formal).
• Strong knowledge of System Verilog Assertions (SVA) and property-based verification.
• Deep understanding of digital design concepts, clock domain crossings, and low-power design techniques.
• Ability to lead projects, work cross-functionally, and deliver under tight schedules.

Culture & Benefits

• Total compensation package includes competitive pay, stock bonuses, and benefit programs (health, retirement, vacation).
• Hybrid work model available, allowing split time between on-site at an assigned hirify.global site and off-site.
• Opportunity to work on cutting-edge technology and shape verification strategies for AI SoCs.
• Committed to Responsible Business Alliance (RBA) compliance and ethical hiring practices.