2

Remote Formal Verification Engineer Jobs in Seattle, WA

Senior Bridge Engineer

Seattle, WA ยท On-site +1

$118K - $163K/yr

Remote opportunities may be available for the right candidate. At Horrocks, we believe the best ... You will provide top-of-the-industry engineering services that are verified through a rigorous QC ...

Senior Software Engineer, Reliability Remote, US About Nametag Nametag is building the future of ... We're pioneering next-generation identity verification and account protection so that users can ...

Senior Software Engineer

Home, WA ยท Remote

$136K - $179K/yr

We're a fully remote team, so 100% of our roles are open to applicants anywhere in the region in ... Perform validation and verification testing * Collaborate with internal teams and vendors to fix ...

Structural Engineer 3 - Nuclear

Seattle, WA ยท On-site +1

$74K - $113K/yr

... 100% remote. We do not sponsor employees for work authorization in the U.S. for this position ... verification of results. * Programming or scripting (e.g., Python, MATLAB, advanced Excel) to ...

Structural Engineer 3 - Nuclear

Seattle, WA ยท On-site +1

$74K - $113K/yr

... remote. Qualifications We do not sponsor employees for work authorization in the U.S. for this ... verification of results. * Programming or scripting (e.g., Python, MATLAB, advanced Excel) to ...

Staff Software Engineer

Seattle, WA ยท On-site +1

$195K - $257K/yr

Excellent communication skills, able to collaborate with remote teams, share ideas and present ... Additionally, Circle participates in the E-Verify Program in certain locations, as required by law.

Senior Software Engineer

Seattle, WA ยท On-site +1

$152K - $205K/yr

Excellent communication skills, able to collaborate with remote teams, share ideas and present ... Additionally, Circle participates in the E-Verify Program in certain locations, as required by law.

Showing results 41-60

Remote Formal Verification Engineer information

See Seattle, WA salary details

$91K

$162.3K

$231.6K

How much do remote formal verification engineer jobs pay per year?

As of Aug 22, 2026, the average yearly pay for remote formal verification engineer in Seattle, WA is $162,305.00, according to ZipRecruiter salary data. Most workers in this role earn between $154,800.00 and $154,800.00 per year, depending on experience, location, and employer.

What is a remote formal verification engineer?

Remote Formal Verification Engineers are professionals who use mathematical methods to verify the correctness of hardware or software designs, ensuring they meet specified requirements and are free from critical errors. They typically work from home or any location outside a traditional office, collaborating with teams online. Their main tasks include writing formal specifications, developing verification strategies, analyzing results, and reporting on system reliability. This role is essential in industries like semiconductor design, automotive, and aerospace, where system failures can have significant consequences.

What are the key skills and qualifications needed to thrive as a remote formal verification engineer?

To thrive as a Remote Formal Verification Engineer, you need a strong background in digital design, formal verification methodologies, and a relevant degree in computer engineering or a related field. Expertise in formal verification tools (such as JasperGold or Questa Formal), hardware description languages (like Verilog or VHDL), and scripting languages is typically required. Strong problem-solving ability, attention to detail, and effective remote communication skills set top performers apart. These skills ensure the accurate validation of hardware designs, reduce costly errors, and enable efficient collaboration in distributed teams.

How does a remote formal verification engineer typically collaborate with development and design teams across different time zones?

As a Remote Formal Verification Engineer, effective collaboration with development and design teams is critical, especially when working across multiple time zones. Most teams use a combination of asynchronous communication tools (like email, Slack, and project management platforms) and scheduled video meetings to align on goals, clarify verification requirements, and review progress. It's common to document verification plans and results thoroughly so colleagues in other regions can review and contribute. Flexibility in working hours and proactive communication help ensure smooth handoffs and minimize blockers, making remote collaboration productive and efficient.

What is the difference between Remote Formal Verification Engineer vs Remote Hardware Verification Engineer?

AspectRemote Formal Verification EngineerRemote Hardware Verification Engineer
Required CredentialsBachelor's/Master's in Electrical Engineering, Computer Science; certifications in formal methodsBachelor's/Master's in Electrical Engineering, Computer Engineering; certifications in hardware testing
Work EnvironmentDesign and analyze digital systems using formal methods remotelyTest and validate hardware components remotely in lab or simulation environments
Industry UsageSemiconductor, electronics, tech companies focusing on verificationSemiconductor, electronics, hardware manufacturing companies
Search & Comparison IntentOften compared due to similar industry and skills, focusing on verification methods

The Remote Formal Verification Engineer specializes in mathematically proving the correctness of digital systems remotely, while the Remote Hardware Verification Engineer tests and validates hardware components remotely. Both roles require strong technical credentials and are used in similar industries, but they focus on different verification techniques and processes.

What are popular job titles related to Remote Formal Verification Engineer jobs in Seattle, WA?

For Remote Formal Verification Engineer jobs in Seattle, WA, the most frequently searched job titles are:

What job categories do people searching Remote Formal Verification Engineer jobs in Seattle, WA look for?

The top searched job categories for Remote Formal Verification Engineer jobs in Seattle, WA are:

Infographic showing various Remote Formal Verification Engineer job openings in Seattle, WA as of August 2026, with employment types broken down into 91% Full Time, 4% Part Time, and 5% Contract. Highlights an 87% Physical, 5% Hybrid, and 8% Remote job distribution, with an average salary of $162,305 per year, or $78 per hour.

RAC System Engineer (Process & I&C)

System One

Bellevue, WA โ€ข Remote

Contractor

Medical, Dental, Vision, Life, Retirement

Re-posted 6 days ago


Job description

Job Title: RAC System Engineer (Process & I&C) Contractor Work Model: Remote – offsite

Responsibilities:

  • Design nuclear and industrial mechanical, instrumentation, and control systems, including requirements definition, analysis, specifications, and system drawings.
  • Establish equipment and instrumentation design bases, including regulatory criteria, standards, functional criteria, performance criteria, and failure mode and effects.
  • Develop and maintain system architecture, control strategies, functional logic, and design documentation such as Design Basis Documents, P&IDs, Logic Diagrams, and Interface Control Documents.
  • Ensure proper selection and integration of instrumentation, actuation, and control hardware for nuclear service, considering environmental and seismic factors.
  • Support I&C verification and validation activities such as FAT, SAT, and integrated system testing.
  • Drive alignment across multidisciplinary engineering teams to implement system requirements.
  • Develop engineering designs supporting lifecycle factors including operability, maintainability, and reliability.
  • Manage technical interfaces with suppliers, review and verify deliverables, and coordinate technical reviews.
  • Prepare engineering change packages, including calculations, reports, drawings, and specifications.
  • Promote nuclear industry best practices to maintain high engineering quality.
  • Interface with and support licensing activities such as safety analysis reports and licensing documents.
  • Participate in project design reviews to verify compliance and completeness of design.

Requirements:

  • B.S. in Chemical, Mechanical, or Electrical Engineering or related discipline from an accredited university
  • 6+ years of relevant experience with proven mechanical skills for Level 10
  • 10+ years of relevant experience with proven mechanical skills for Level 11
  • Demonstrated experience in developing design of complex structures and multi-discipline integration
  • Strong understanding of configuration management principles and design control tools in nuclear or similar complex industrial applications
  • Previous experience with commercial nuclear reactors and systems, high temperature pressure vessels, or similar systems (highly desired)
  • Experience working to quality standards such as ASME NQA-1 or ISO 9001
  • Professional engineering licensure is preferred but not required
  • Experience in originating and developing technical documentation to support system architecture
  • Excellent technical writing, communication, and presentation skills
  • Attention to detail and a commitment to technical excellence
  • Self-starter with ability to coordinate within a team with minimal guidance
  • Ability to handle multiple projects with conflicting objectives, resolving conflicts effectively
  • Ability to work on multiple tasks requiring a multidisciplinary approach
  • High integrity, open communication, respect, and teamwork orientation

System One, and its subsidiaries including Joulé and Mountain Ltd., are leaders in delivering outsourced services and workforce solutions across North America. We help clients get work done more efficiently and economically, without compromising quality. System One not only serves as a valued partner for our clients, but we offer eligible employees health and welfare benefits coverage options including medical, dental, vision, spending accounts, life insurance, voluntary plans, as well as participation in a 401(k) plan.

System One is an Equal Opportunity Employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex (including pregnancy, childbirth, or related medical conditions), sexual orientation, gender identity, age, national origin, disability, family care or medical leave status, genetic information, veteran status, marital status, or any other characteristic protected by applicable federal, state, or local law.

Ref: #161-Managed Staffing Charlotte


System One logo

About System One

Sourced by ZipRecruiter

System One helps employers get work done more efficiently and economically without compromising quality. Over our 35+ year history, we've helped connect thousands of talented people with innovative companies. The excitement of a perfect fit motivates us every single day.

Industry

Business consulting services and recruiting and staffing services

Company size

5,001 - 10,000 Employees

Headquarters location

Pittsburgh, PA, US