ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Washington, DC

TalentRemedy

Principal Electrical Systems Engineer

Herndon, VA · On-site +1

$142K - $174K/yr

... remote sensing technologies for demanding spaceflight applications. This position is ideal for an ... Lead system integration, verification, validation, troubleshooting, and qualification activities.

Naval Sea Systems Command

ENGINEER

Indian Head, MD · On-site +1

$70K - $158K/yr

To learn more about E-Verify, including your rights and responsibilities, visit e-verify.gov ... remote or isolated sites. You must be able to travel on military and commercial aircraft for ...

SAIC

Systems Engineer

Chantilly, VA · On-site +1

$120K - $160K/yr

None Potential for Remote Work: ORA_ON_SITE Description SAIC is seeking a Systems Engineer to work ... Experience in architecture management, baseline audit, and verification. * Familiar with JIRA ...

U.S. Marine Corps

GENERAL ENGINEER

Quantico, VA · On-site +1

$102K - $158K/yr

To learn more about E-Verify, including your rights and responsibilities, visit e-verify.gov ... remote or isolated sites. You must be able to travel on military and commercial aircraft for ...

Addison Group

AWS DevOps Engineer

Washington, DC · Remote

$70 - $75/hr

Remote within - CA, CO, DC, FL, GA, IL, MD, MA, MI, MN, NJ, NY, NC, OH, PA, TX, VA, or WA ... without formal authority. · Discipline in documentation, change management, and following ...

Booz Allen Hamilton, Inc.

DevOps Engineer

Mclean, VA · On-site +1

$77K - $176K/yr

Remote Work: Hybrid Job Number: R0244272 Location: McLean,VA,US Share job via: Share DevOps ... We reserve the right to take your picture to verify your identity and prevent fraud. Candidate AI ...

Booz Allen Hamilton, Inc.

AI & ML Engineer

Chantilly, VA · On-site +1

$99K - $225K/yr

Remote Work: No Job Number: R0242901 Location: Chantilly,VA,US Share job via: Share AI & ML ... We reserve the right to take your picture to verify your identity and prevent fraud. Candidate AI ...

Booz Allen Hamilton, Inc.

Cloud Engineer

Chantilly, VA · On-site +1

$99K - $225K/yr

Remote Work: No Job Number: R0245212 Location: Chantilly,VA,US Share job via: Share Cloud Engineer ... We reserve the right to take your picture to verify your identity and prevent fraud. Candidate AI ...

Leidos

Systems Engineer

Ashburn, VA · Remote

... remote and high-dependency aviation environments. These efforts focus on delivering mission ... Experience supporting verification and validation activities in regulated environments

previous page

Showing results 41-60

All JobsFormal Verification Engineer JobsRemote Formal Verification Engineer JobsRemote Formal Verification Engineer Jobs in Washington, DC

Remote Formal Verification Engineer information

See Washington, DC salary details

$90.6K

$161.5K

$230.5K

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 Washington, DC is $161,530.00, according to ZipRecruiter salary data. Most workers in this role earn between $154,000.00 and $154,000.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 Washington, DC?

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

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

The top searched job categories for Remote Formal Verification Engineer jobs in Washington, DC are:

Remote Formal Verification Engineer jobs near you
Infographic showing various Remote Formal Verification Engineer job openings in Washington, DC as of August 2026, with employment types broken down into 87% Full Time, and 13% Contract. Highlights an 7% In-person, and 93% Remote job distribution, with an average salary of $161,530 per year, or $77.7 per hour.

Principal Electrical Systems Engineer

TalentRemedy

Herndon, VA • On-site, Remote

$142K - $174K/yr

Full-time

Re-posted 22 days ago

Job description

We are seeking a Principal Electrical Systems Engineer to join our Herndon, VA team and lead the development of advanced electro-optical and laser-based systems supporting NASA, DoD, and commercial space missions. In this role, you will serve as the technical lead for the electrical architecture of complex aerospace systems, guiding programs from concept development through integration, test, qualification, and mission deployment. You will work closely with multidisciplinary teams of optical, mechanical, software, and systems engineers to develop next-generation laser, sensing, and remote sensing technologies for demanding spaceflight applications.

This position is ideal for an experienced engineer who enjoys solving challenging technical problems, defining system architectures, mentoring engineers, and helping transition advanced research into operational aerospace systems. Responsibilities Lead the electrical architecture, design, and technical execution of complex electro-optical, laser, and sensing systems for spaceflight and defense applications. Define system-level electrical requirements, interfaces, performance budgets, and verification strategies.

Provide technical leadership for the development of high-reliability electronics, including power systems, control electronics, data acquisition systems, signal conditioning, and system interconnects. Lead electrical subsystem integration activities and ensure successful interface compatibility across multidisciplinary systems. Lead system integration, verification, validation, troubleshooting, and qualification activities.

Support customer interactions, technical proposals, design reviews, and program execution. Mentor and develop junior and mid-level engineers while helping establish engineering best practices. Participate in laboratory testing, environmental testing, and field demonstrations as required.

Support multiple concurrent R&D and production programs spanning NASA, DoD, and commercial space customers. Required Qualifications BSEE required; MSEE preferred. 15+ years of experience developing complex aerospace, defense, or spaceflight electrical systems.

Demonstrated experience serving as the technical lead, principal engineer, or system architect for complex electrical systems. Direct experience developing, integrating, testing, or qualifying electronics for spaceflight applications, including satellites, spacecraft, launch vehicles, scientific instruments, human-rated systems, or other high-reliability aerospace platforms. Strong background in system-level electrical architecture, integration, verification, troubleshooting, and qualification.

Experience with power distribution, control electronics, instrumentation, mixed-signal systems, and electrical interfaces. Experience working within multidisciplinary engineering teams and leading technical decision-making. Ability to work hands-on in laboratory environments and support system integration and test activities.

Preferred Qualifications MSEE or PhD in Electrical Engineering. Experience supporting NASA, DoD, NRO, SDA, Space Force, or commercial space programs. Experience with radiation-tolerant, radiation-hardened, or other high-reliability electronics technologies.

Familiarity with spaceflight design standards, mission assurance processes, and environmental qualification testing. Experience with electro-optical systems, laser systems, remote sensing, or LIDAR technologies. Experience leading technical teams and mentoring engineers.

Active security clearance or ability to obtain one.

Apply