Senior Formal Verification Engineer

Triple Crown is a leading provider of hardware, embedded, software, and mechanical engineering talent. Businesses and technology teams, from Fortune 500 enterprises to emerging startups, rely on our ability to rapidly place the developers, architects, coders, and designers who engineer digital transformation and growth.

Job Type: Contract

Duration: 6-12+ Months

Location: Onsite in either Palo Alto, CA or Austin, TX

Requirement: 5+ years of experience

Please note: We do not provide sponsorship

We are seeking an experienced Formal Verification Engineer to drive formal verification sign-off for complex ASIC/IP designs. This role focuses on closing formal verification flows and coverage, proving functional correctness, and working closely with RTL and simulation teams to achieve high-quality verification closure.

• Define and execute comprehensive formal verification plans, strategies, and methodologies to ensure high-quality verification sign-off
• Review RTL design architecture and specifications, providing feedback to improve correctness and verifiability
• Drive formal sign-off in conjunction with simulation-based verification methodologies for overall verification closure
• Develop, maintain, and optimize formal regressions, tools, and infrastructure
• Integrate formal and functional verification flows to close coverage efficiently
• Own closure of formal verification metrics, including coverage and convergence