ZipRecruiter

Log In

2

Remote Formal Verification Jobs in Seattle, WA (NOW HIRING)

System One

Nuclear Methods Engineer

Bellevue, WA · Remote

$52 - $85/hr

Remote - offsite Hours: 40.0 Overview System One is seeking a highly motivated Nuclear Methods ... Create formal documentation of nuclear methods software requirements, design, implementation, and ...

PNC Bank

Operations Specialist

Home, WA · On-site +1

$41K - $68K/yr

Operations Specialist will be responsible for fee processing, verification. There will be some ... This position may be eligible for remote work in select geographic locations, subject to approval ...

PNC Bank

Loan Support Analyst Sr - Specialty

Home, WA · On-site +1

$41K - $75K/yr

This position may be eligible for remote work in select geographic locations, subject to approval ... Verifies work processes to ensure completeness, accuracy, and conformance to credit approvals ...

All JobsFormal Verification JobsRemote Formal Verification JobsRemote Formal Verification Jobs in Seattle, WA

Remote Formal Verification information

See Seattle, WA salary details

$13

$23

$45

How much do remote formal verification jobs pay per hour?

As of Aug 2, 2026, the average hourly pay for remote formal verification in Seattle, WA is $23.55, according to ZipRecruiter salary data. Most workers in this role earn between $17.50 and $24.90 per hour, depending on experience, location, and employer.

What is remote formal verification?

Remote formal verification refers to the process of using mathematical techniques and specialized software tools to rigorously prove the correctness of hardware or software systems, typically while working from a remote location. Unlike traditional testing, formal verification provides guarantees about system behavior by checking against formal specifications. Professionals in this field often collaborate with teams online, review code or hardware designs, and use tools such as model checkers or theorem provers to identify and eliminate potential errors before deployment.

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

AspectRemote Formal VerificationRemote Hardware Verification
CredentialsTypically requires degrees in Computer Science or Electrical Engineering, plus certifications in formal methodsRequires degrees in Electrical Engineering, Computer Engineering, or related fields; certifications may include FPGA or ASIC design
Work EnvironmentPrimarily focused on software tools, modeling, and mathematical proofs, often in a remote settingInvolves testing and validation of hardware prototypes or designs, often in labs or remotely via simulation tools
Industry UsageUsed in semiconductor, aerospace, and safety-critical software industriesCommon in semiconductor, electronics manufacturing, and embedded systems industries

Remote Formal Verification focuses on mathematically proving the correctness of hardware or software designs using formal methods, often in a software-centric environment. Remote Hardware Verification involves testing physical hardware or simulations to ensure hardware functions correctly. Both roles require technical expertise but differ in their focus on software proofs versus hardware testing.

What are some common challenges faced by remote formal verification engineers, and how can they be addressed?

Remote formal verification engineers often face challenges related to effective collaboration and communication, as formal verification requires close coordination with design and verification teams. Working across time zones and relying on digital tools can make it harder to quickly resolve ambiguities in specifications or debug issues. To address these challenges, it’s essential to establish clear documentation practices, schedule regular video meetings, and actively participate in code reviews and knowledge-sharing sessions. Leveraging collaborative platforms and maintaining open communication channels can help mitigate the impact of physical distance and ensure project goals are met efficiently.

What are the key skills and qualifications needed to thrive as a Remote Formal Verification Engineer, and why are they important?

To thrive as a Remote Formal Verification Engineer, you need expertise in digital design, formal methods, and verification methodologies, usually supported by a degree in electrical engineering, computer engineering, or computer science. Familiarity with formal verification tools like JasperGold, Questa Formal, or OneSpin, and proficiency in hardware description languages (HDLs) such as Verilog or VHDL are critical. Strong analytical thinking, attention to detail, and clear communication are standout soft skills, especially when collaborating remotely with global teams. These skills and qualifications are essential to ensure that complex hardware designs are reliable, bug-free, and meet stringent industry standards.
What are popular job titles related to Remote Formal Verification jobs in Seattle, WA? For Remote Formal Verification jobs in Seattle, WA, the most frequently searched job titles are:
What job categories do people searching Remote Formal Verification jobs in Seattle, WA look for? The top searched job categories for Remote Formal Verification jobs in Seattle, WA are:
What cities near Seattle, WA are hiring for Remote Formal Verification jobs? Cities near Seattle, WA with the most Remote Formal Verification job openings:
Remote Formal Verification jobs near you

Nuclear Methods Engineer

System One

Bellevue, WA • Remote

$52 - $85/hr

Contractor

Medical, Dental, Vision, Life, Retirement

Posted 13 days ago

Job description

Job Title: Nuclear Methods Engineer Location: Bellevue, WA Type: Contract Compensation: $52.00 - $85.00 Work Model: Remote – offsite Hours: 40.0 Overview System One is seeking a highly motivated Nuclear Methods Software Engineer for a yearlong, fully remote contract position. In this role, you will support the nuclear methods team:

Responsibilities

  • Create formal documentation of nuclear methods software requirements, design, implementation, and testing in support of licensing our client’s reactors
  • Update, improve, and/or create software to satisfy all licensing requirements during the Validation and Verification (V&V) process
  • Incorporate additional 3rd-party programs in our simulation ecosystem as necessary to support licensing
  • Design and execute sensitivity studies to understand the effects and validity of various modeling assumptions, including meshing, physics coupling, transport options, cross section preparation, fission product models, spatial kinetics, etc., and adjust methods as necessary
  • Train and support reactor designers and developers in the use of the design software suite
  • Build and apply methods to assess the propagation of uncertainty and their effect on safety margins
  • Enhance engineering team's ability to build models and make meaningful conclusions from simulation output through input tools, visualization, reports, etc.
Requirements
  • B.S. degree in Nuclear Engineering with 5-20 years of experience
  • M.S. degree in Nuclear Engineering with 3-15 years of experience
  • Ph.D. degree in Nuclear Engineering with 2-10 years of experience
  • Fast reactor physics and design intuition
  • Experience in nuclear design/analysis methodologies including criticality, flux/power distributions, fuel management optimization, reactivity coefficients, shielding, activation, control rod worth, detector response, and uncertainty analysis
  • Knowledge of reactor physics analysis methods (deterministic and stochastic particle transport, isotopic depletion, perturbation theory, nuclear data, kinetics, etc.)
  • Experience with nuclear engineering software such as DIF3D, MC2, PARTISN, MCNP, Serpent, SCALE, PARCS, APA, CASMO, DRAGON, ARMI, etc. preferred
  • Strong computational expertise and programming skills in scientific computing languages (Python, C++, Fortran bonus)
  • Proven ability to automate simulation tools and integrate software
  • Experience with software development tools (IDEs, version control, debuggers, documentation tools)
  • Knowledge of nuclear methodology interaction with the NRC under an ASME NQA-1 compliant QA environment preferred
  • Good understanding of numerical methods and applied mathematics (PDEs, stability, statistics, analysis, dynamics)
  • Strong technical documentation skills
  • Ability to meet aggressive schedules and deliver consistently
  • Self-motivated with a passion for software best practices and teamwork
  • Excellent verbal communication skills

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.

#M- #LI-

Ref: #161-Managed Staffing Charlotte