ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Washington, DC

AnaVation

Senior Cryptocurrency Engineer

Washington, DC · Remote

$118K - $162K/yr

Remote status is subject to change at the customer's direction, but is expected to continue ... Develop, deliver, and lead formal training events for government and crossagency partners. Required ...

AnaVation

Senior Cryptocurrency Engineer

Washington, DC · On-site +1

$118K - $162K/yr

Remote status is subject to change at the customer's direction, but is expected to continue ... Develop, deliver, and lead formal training events for government and cross‑agency partners.

Two Six Technologies

Engineering Manager

Arlington, VA · Remote

This is a remote position with travel a few times a year. You need to live in the U.S., ideally on ... and verify engineering estimates in any of these languages * A proven track record of shipping ...

System One

IT Engineer - Windows and macOS

Bethesda, MD · Remote

$40 - $60/hr

... Secret required Remote Rate: $40/hr. to $60/hr. commensurate with experience System One IT is ... Follow a formal assessment-to-remediation workflow, producing Findings Reports, Remediation Plans ...

System One

IT Engineer - Windows and macOS

Bethesda, MD · Remote

$40 - $60/hr

... Secret required Remote Rate: $40/hr. to $60/hr. commensurate with experience System One IT is ... Follow a formal assessment-to-remediation workflow, producing Findings Reports, Remediation Plans ...

System One

IT Engineer - Windows and macOS

Bethesda, MD · Remote

$40 - $60/hr

... Secret required Remote Rate: $40/hr. to $60/hr. commensurate with experience System One IT is ... Follow a formal assessment-to-remediation workflow, producing Findings Reports, Remediation Plans ...

System One

IT Engineer - Windows and macOS

Bethesda, MD · Remote

$40 - $60/hr

... Secret required Remote Rate: $40/hr. to $60/hr. commensurate with experience System One IT is ... Follow a formal assessment-to-remediation workflow, producing Findings Reports, Remediation Plans ...

Goldman Edwards, Inc.

Be Seen First

AI Foundry Engineer (Remote)

Washington, DC · Remote

AI Foundry Engineer (US - Remote) Position summary We are seeking a highly skilled AI Foundry ... Identify and implement fixes in the design and code as necessary § Test, verify, and deploy the ...

System One

IT Engineer - Windows and macOS

Bethesda, MD · Remote

$40 - $60/hr

... Secret required Remote Rate: $40/hr. to $60/hr. commensurate with experience System One IT is ... Follow a formal assessment-to-remediation workflow, producing Findings Reports, Remediation Plans ...

Goldman Edwards, Inc.

Be Seen First

AI Foundry Engineer (Remote)

Washington, DC · Remote

AI Foundry Engineer (US - Remote) Position summary We are seeking a highly skilled AI Foundry ... Identify and implement fixes in the design and code as necessary § Test, verify, and deploy the ...

Ignite IT

Senior Network Security Engineer

Suitland, MD · Remote

$63 - $82.50/hr

VPN / remote access: support for remote-access VPN, site-to-site VPN, user connectivity issues ... formal change management. * Federal/customer environment maturity: Public Trust eligibility ...

System One

Cloud Service Desk Engineer

Bethesda, MD · Remote

$55 - $70/hr

Support VDI connectivity engineering, ensuring remote users on macOS and Windows platforms can ... Experience working under formal change control, audit, and security governance processes Required ...

System One

Cloud Service Desk Engineer

Bethesda, MD · Remote

$55 - $70/hr

Support VDI connectivity engineering, ensuring remote users on macOS and Windows platforms can ... Experience working under formal change control, audit, and security governance processes Required ...

System One

Cloud Service Desk Engineer

Bethesda, MD · Remote

$55 - $70/hr

Support VDI connectivity engineering, ensuring remote users on macOS and Windows platforms can ... Experience working under formal change control, audit, and security governance processes Required ...

System One

Cloud Service Desk Engineer

Bethesda, MD · Remote

$55 - $70/hr

Support VDI connectivity engineering, ensuring remote users on macOS and Windows platforms can ... Experience working under formal change control, audit, and security governance processes Required ...

Hirekeyz Inc

DevSecOps Engineer

Washington, DC · Remote

Remote / Washington, DC (Remote Flexibility Available) Clearance: Ability to obtain MBI (Tier 2) ... deployment verification * Collaborate with development teams to troubleshoot issues, optimize ...

Ad Hoc

Senior Data Engineer

Mclean, VA · Remote

$107K - $145K/yr

Built for a remote life Our culture, communications, and tools are built for remote work, enabling ... Relevant years of experience may be substituted for formal education. * 7+ years of experience ...

previous pagenext page

Showing results 21-40

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.

Senior Cryptocurrency Engineer

AnaVation

Washington, DC • Remote

$118K - $162K/yr

Full-time

Medical, Dental, Vision, Life, Retirement, PTO

Posted 29 days ago

Job description

Be Challenged and Make a Difference 
 
In a world of technology, people make the difference. We believe if we invest in great people, then great things will happen. At AnaVation, we provide unmatched value to our customers and employees through innovative solutions and an engaging culture. 

Description of Tasks to be Performed:    

As the Senior Cryptocurrency Engineer, you will serve as the primary technical authority for blockchain analysis, digitalasset tracing, cyberenabled financial investigations, and cryptocurrencyrelated criminal cases. You will apply your advanced analytical expertise and subjectmatter knowledge to evaluate complex blockchain ecosystems, decentralizedfinance platforms, and illicitfinance activity.

Within your mission team, you will lead the technical direction of blockchain and digitalasset investigations, working alongside forensic SMEs and developers to integrate cryptocurrency intelligence into broader investigative and cyberoperations workflows.

You will design and build investigative tools, perform highconfidence tracing operations, and assess emerging payment technologies to identify criminal exploitation patterns. You will advise investigators and mission partners on blockchain artifacts, digitalasset seizure procedures, and proper chainofcustody for decentralized evidence.

Drawing on your substantial experience, you will independently plan and execute technical goals, shape analytic and investigative strategy, and provide mentorship or guidance to others when needed.

Work location: Work is mostly remote, with occasional visits to customer and/or corporate locations in DC/Northern Virginia. Applicants who do not currently reside within commuting distance to these locations should describe how they would satisfy any onsite requirements. Remote status is subject to change at the customer's direction, but is expected to continue. 

Responsibilities

  • Conduct blockchain analysis and cryptocurrency tracing across Bitcoin, EVM chains, privacy coins, DeFi platforms, and crosschain ecosystems.
  • Develop algorithms, methods, and analytic workflows supporting seizure warrants, forensic audits, and financialcrime investigations.
  • Analyze smart contracts, Solidity bytecode, token behavior, mixing/tumbling activity, anonymityenhancing technologies, and illicitfinance patterns.
  • Conduct financialcyber investigations using complex business records, transaction flows, and digitalasset movement patterns.
  • Perform cyber target development, including identification and analysis of cyberenabled criminal networks, ransomware actors, intrusion sets, and threatfinance structures.
  • Evaluate emerging payment technologies and assess their risk for criminal exploitation or terrorist financing.
  • Conduct research and analysis on cybercrime methods, moneylaundering typologies, obfuscation techniques, and cyberenabled financial threats.
  • Provide analytical and evaluative services to analyze cyber evidence, tools, services, and investigative technologies.
  • Conduct cyberforensic acquisition, chainofcustody procedures, and digitalevidence analysis for computers, mobile devices, and storage media.
  • Apply investigation techniques to gather, preserve, and present digital evidence suitable for courtroom use.
  • Assist with opensource research, deepweb/darkweb analysis, socialmedia analysis, electronic evidence review, and intelligencedriven investigative support.
  • Produce detailed investigative reports, analytic products, visualizations, and finished professional intelligence.
  • Collaborate with cyber, forensic, financialcrime, threatfinance, and intelligence teams to support major federal investigations.
  • Research emerging blockchain technologies, privacy solutions, exploit techniques, and evolving cryptocriminal methodologies.
  • Develop, deliver, and lead formal training events for government and crossagency partners.
Required Qualifications:
  • 5 years of experience in blockchain engineering, cryptocurrency forensics, digitalasset security, cyberenabled financial investigations, or related areas.
  • Bachelor's degree in Computer Science, Cybersecurity, Data Science, or related field.
  • Handson experience conducting cryptocurrency analyses in support of federal investigations and prosecutions.
  • Experience with one or more blockchain analysis platforms (Chainalysis Reactor, TRM Labs, CipherTrace, or similar).
  • Proficiency with one or more of smart contracts, Solidity, EVM internals, and blockchain APIs.
  • Ability to conduct research using opensource intelligence, domestic/international databases, corporate filings, and investigative datasets.
  • Strong understanding of illicitfinance typologies, obfuscation and anonymization methods, and laundering mechanisms.
  • Clear written and verbal communication skills.
  • Strong attention to detail
  • Demonstrated ability to produce formal investigative products.
  • Candidates must meet eligibility requirements for a TS/SCI clearance. DHS Entry on Duty (EOD) suitability is required to begin support. Following EOD approval, candidates will be processed for, and must successfully obtain SCI.
Preferred Qualifications:
  • Master's degree in related field
  • Chainalysis Reactor Certification, TRM Forensics Certification, Certified Blockchain Professional (CBP), or equivalent.
  • GIAC cybersecurity certifications (Security+, GCIA, GCED beneficial).
  • Experience conducting technical/data analysis and tracing of cryptocurrency transactions through cyber/crypto data platforms.
  • Experience producing allsource, cybersecurity, or threatfinance finished intelligence products.
  • Experience in financialservices environments, including compliance, asset management, wealth management, securities, or banking operations.
  • Processimprovement or reengineering experience supporting modernization of investigative workflows.
  • Active DHS EOD suitability
Benefits 
  •         Generous cost sharing for medical insurance for the employee and dependents 
  •         100% company paid dental insurance for employees and dependents 
  •         100% company paid long-term and short-term disability insurance 
  •         100% company paid vision insurance for employees and dependents 
  •         401k plan with generous match and 100% immediate vesting 
  •         Competitive Pay 
  •         Generous paid leave and holiday package 
  •         Tuition and training reimbursement 
  •         Life and AD&D Insurance
About AnaVation 
AnaVation is the leader in solving the most complex technical challenges for collection and processing in the U.S. Federal Intelligence Community. We are a US owned company headquartered in Chantilly, Virginia. We deliver groundbreaking research with advanced software and systems engineering that provides an information advantage to contribute to the mission and operational success of our customers. We offer complex challenges, a top-notch work environment, and a world-class, collaborative team.  
 
If you want to grow your career and make a difference while doing it, AnaVation is the perfect fit for you! 
 
AnaVation is an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to sex, race, color, religion, national origin, disability, protected Veteran status, age, or any other characteristic protected by law.
apply for this job

Apply