Remote Formal Verification Engineer Jobs in Seattle, WA

Team Red Dog is hiring a Senior Hardware Design Verification Engineer for our client, a leading cloud and software provider and world-class innovation client. In this fully remote role, you will drive hardware design verification for next-generation accelerated networking technologies by developing comprehensive verification strategies, executing SystemVerilog/UVM test environments, and validating complex hardware features through coverage-driven methodologies. You'll collaborate closely with hardware and software engineering teams to identify critical design issues, improve verification quality, and help deliver networking innovations that power one of the world's largest cloud infrastructures. This opportunity is ideal for experienced verification engineers who thrive in complex hardware environments and enjoy solving challenging design validation problems with automation, testing, and continuous integration.

Top Required Skills (Must Haves):

1. Hardware Design Verification (10+ years) – Extensive experience developing andexecuting verification strategies for complex digital hardware designs, including verification planning, debugging, regression analysis, and coverage closure.
2. SystemVerilog & UVM (10+ years) – Expert-level experience building and enhancing UVM-based verification environments, writing sequences, constraints, assertions, functional coverage, and reusable verification components.
3. RTL Design Understanding – Strong knowledge of RTL architecture and digital logic with the ability to debug hardware behavior and collaborate effectively with design engineers.
4. Verification Methodologies & Automation – Experience with coverage-driven verification, regression automation, scripting, continuous integration, Agile development practices, and verification metrics.

Opportunity Overview:

Join an engineering team responsible for validating the accelerated networking hardware that powers Azure's next-generation cloud infrastructure. You'll contribute to verification efforts supporting one of the world's largest deployments of FPGA-based SmartNIC technology, helping ensure new networking features are thoroughly validated before production. This role offers the opportunity to work on high-performance networking technologies including Software-Defined Networking (SDN), RDMA, network virtualization, and advanced packet processing while collaborating with experienced hardware and software engineers.

How you will make an impact:

• Develop comprehensive verification plans for new hardware features in collaboration with hardware and software design teams.
• Execute verification plans by creating directed, constrained-random, and stress test cases within an existing SystemVerilog/UVM environment.
• Enhance verification environments by developing reusable sequences, assertions, scoreboards, checkers, constraints, and functional coverage.
• Drive verification closure using functional, code, assertion, and test plan coverage metrics.
• Debug complex hardware and integration issues, perform root-cause analysis, and partner with design teams to resolve defects.
• Build automation scripts supporting continuous integration and continuous development (CI/CD) verification workflows.
• Participate in Agile development activities including sprint planning, code reviews, and iterative feature delivery.
• Improve overall verification quality through congestion, error injection, recovery, and corner-case testing scenarios.

The expertise you bring:

• Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related engineering discipline.
• 10+ years of professional hardware design verification experience.
• 10+ years of hands-on experience with SystemVerilog.
• 10+ years of experience using Universal Verification Methodology (UVM).
• Strong understanding of RTL design and digital hardware architecture.
• Experience creating verification plans, developing testbenches, and achieving coverage closure.
• Experience debugging complex hardware verification issues and collaborating with cross-functional engineering teams.
• Experience with verification methodologies, regression automation, and scripting.
• Familiarity with Agile software development and CI/CD environments.
• Ability to work independently while ramping quickly within an established verification environment.
• Ability to support Pacific Time working hours while working remotely within the United States.
• Availability to commit to the full one-year engagement.

What makes a candidate highly successful in this role:
Candidates who excel in this position demonstrate deep technical expertise in hardware verification rather than general testing experience. They can independently develop and execute sophisticated verification plans, quickly understand existing UVM environments, and efficiently debug complex hardware issues with minimal direction. Strong candidates bring solid RTL knowledge, collaborate effectively with design engineers, consistently drive verification closure through comprehensive coverage metrics, and take ownership of automation, regression quality, and continuous improvements to the verification environment. Experience validating complex hardware systems is highly valued, while prior networking experience is beneficial but not required.

Why Work with Team Red Dog?

At Team Red Dog, people are at the heart of everything we do. Our commitment to personalized service and our deep experience in matching talented professionals with meaningful roles at some of the world's most inspiring companies is what sets us apart. We take the time to understand your unique skills, strengths, and passions—because we believe your career should reflect who you are.

Whether you're looking to grow, pivot, or simply find a place where your work truly matters, we offer opportunities that empower you to make a positive impact. With excellent benefits, a supportive team, and a role where you can thrive while doing what you love, we're here to help you take the next step with confidence. Join us—and discover what it means to be genuinely valued in your career.

Generous benefits package for qualified employees includes:

• Health insurance (medical, dental, vision, and life)
• Employer-matched 401K plan
• Paid time off
• Paid holidays

Estimated Start Date: Immediately

Location: Fully Remote (U.S.) — Candidates must be available to support Pacific Time working hours.

Job #: 2542

Job Type and Estimated Duration: W2 contract opportunity through 6/30/2027 with potential for extension up to 18 months subject to performance, budget and client discretion.

Rate: $80–$98/hour

Team Red Dog is committed to providing equal opportunities to everyone, regardless of race, ethnicity, gender, age, religion, sexual orientation, disability, or any other characteristic. If you need accommodation during the recruitment process, reach out to hr@teamreddog.com, and we will work to ensure an accessible experience. We strictly adhere to federal, state, and local laws to maintain a workplace free from discrimination and harassment.

We offer competitive compensation aligned with U.S. industry standards, and our final offer will reflect the candidate's location, job-specific skills, experience, and knowledge.

• All applicants must be authorized to work in the U.S. without the need for sponsorship.
• Team Red Dog is an E-Verify employer.
• Employment is contingent upon the successful completion of a reference and background check.
• Please no solicitations from C2C or recruiting firms.