ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Boston, MA

Oakwell

Mechanical Engineer

Boston, MA · Remote

$110K - $140K/yr

Multiple remote opportunities available. What you'll drive You will work alongside senior Oakwell ... Oakwell is an E-Verify and equal-opportunity employer. Powered by JazzHR 1Hpb21mtLC

TECH5 USA, Inc.

Support Engineer - MA

Boston, MA · Remote

... verification. As part of our team, you'll work alongside industry experts to assist in developing ... As a remote Support Engineer you are responsible for deploying, managing and supporting customer ...

New

YO AI Labs

Design Expert - Remote

Boston, MA · On-site +1

$30 - $70/hr

No formal credential is required; demonstrated expertise and shipped work are highly valued. Key ... engineering collaboration . * Develop tasks involving AI coding tools such as Cursor, Claude Code ...

YO AI Labs

Design Expert - Remote

Boston, MA · On-site +1

$30 - $70/hr

No formal credential is required; demonstrated expertise and shipped work are highly valued. Key ... engineering collaboration . * Develop tasks involving AI coding tools such as Cursor, Claude Code ...

Draper

System Requirements Engineer

Cambridge, MA · On-site +1

$62K - $140K/yr

The System Requirements Engineer 1 is responsible for the definition, analysis, and verification of ... formal and informal evaluations and analysis. Analyze assessment results and make improvement ...

Draper

System Analysis Engineer

Cambridge, MA · On-site +1

$62K - $156K/yr

The System Requirements Engineer 1 is responsible for the definition, analysis, and verification of ... formal and informal evaluations and analysis. Analyze assessment results and make improvement ...

GEI Consultants

Senior Structural Engineer

Franklin, MA · On-site +1

$100K - $160K/yr

... two days remote). Dams in our clients' portfolios are in some of the most spectacularly scenic ... Prepare formal written reports, give presentations, and participate in internal and client meetings.

GEI Consultants

Senior Structural Engineer

Wakefield, MA · On-site +1

$100K - $160K/yr

... two days remote). Dams in our clients' portfolios are in some of the most spectacularly scenic ... Prepare formal written reports, give presentations, and participate in internal and client meetings.

Beacon Biosignals

Senior Algorithm Engineer

Boston, MA · On-site +1

$170K - $190K/yr

This is a fully remote role based anywhere in the U.S. What success looks like * Participate in and ... formal validation, quality/regulatory documentation, production deployment, and working with ...

YO AI Labs

Hardware Expert - Remote

Boston, MA · Remote

$50 - $100/hr

Interpret engineering drawings and create accurate 3D CAD models. * Develop complex mechanical ... Verify dimensions, geometry, topology, and physical properties. * Troubleshoot and refine CAD ...

YO AI Labs

Hardware Expert - Remote

Boston, MA · Remote

$50 - $100/hr

Interpret engineering drawings and create accurate 3D CAD models. * Develop complex mechanical ... Verify dimensions, geometry, topology, and physical properties. * Troubleshoot and refine CAD ...

Booz Allen Hamilton, Inc.

IT Systems Engineer

Lexington, MA · On-site +1

$86K - $198K/yr

Remote Work: No Job Number: R0246290 Location: Lexington,MA,US Share job via: Share IT Systems ... We reserve the right to take your picture to verify your identity and prevent fraud. Candidate AI ...

RINA

Senior Structural Engineer

Boston, MA · On-site +1

$150K - $200K/yr

Remote options from other US locations may be considered. Compensation Data $150,000-$200,000 ... Support site inspections and construction-phase engineering services to verify implementation of ...

YO AI Labs

Audio Expert - Remote

Boston, MA · Remote

$50 - $100/hr

Global, Fully Remote Schedule: Flexible, ~15 hours/week Role Summary We are seeking skilled Audio ... Relevant expertise matters more than formal education or years of experience.

New

YO AI Labs

Audio Expert - Remote

Boston, MA · Remote

$50 - $100/hr

Global, Fully Remote Schedule: Flexible, ~15 hours/week Role Summary We are seeking skilled Audio ... Relevant expertise matters more than formal education or years of experience.

New

Indico Data

Senior Cybersecurity Engineer

Boston, MA · Remote

$165K - $185K/yr

This role works in partnership with Indico's CISO and CTO. The CISO owns security strategy, formal ... This is a remote role, with East Coast hours preferred. About You You are a pragmatic technical ...

Kemper

Guidewire Developer-ClaimCenter

Boston, MA · On-site +1

$59.25 - $78.25/hr

... TX, Remote-CT, Remote-GA, Remote-IL, Remote-IN, Remote-OH, Remote-PA, Remote-TX, Remote-VA ... Act as a resource for others by sharing deep technical knowledge and context - without formal ...

Beacon Biosignals

Senior Algorithm Engineer

Boston, MA · On-site +1

$170K - $190K/yr

This is a fully remote role based anywhere in the U.S. What success looks like * Participate in and ... formal validation, quality/regulatory documentation, production deployment, and working with ...

previous page

Showing results 41-60

All JobsFormal Verification Engineer JobsRemote Formal Verification Engineer JobsRemote Formal Verification Engineer Jobs in Boston, MA

Remote Formal Verification Engineer information

See Boston, MA salary details

$86.9K

$154.9K

$221.1K

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

As of Sep 7, 2026, the average yearly pay for remote formal verification engineer in Boston, MA is $154,942.00, according to ZipRecruiter salary data. Most workers in this role earn between $147,800.00 and $147,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 the most commonly searched types of Formal Verification Engineer jobs in Boston, MA?

The most popular types of Formal Verification Engineer jobs in Boston, MA are:

What are popular job titles related to Remote Formal Verification Engineer jobs in Boston, MA?

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

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

The top searched job categories for Remote Formal Verification Engineer jobs in Boston, MA are:

Remote Formal Verification Engineer jobs near you
Infographic showing various Remote Formal Verification Engineer job openings in Boston, MA as of August 2026, with employment types broken down into 80% Full Time, and 20% Contract. Highlights an 100% Remote job distribution, with an average salary of $154,942 per year, or $74.5 per hour.

Mechanical Engineer

Oakwell

Boston, MA • Remote

$110K - $140K/yr

Full-time

Medical, Dental, Vision, Life, Retirement, PTO

Re-posted 14 days ago

Job description


Being an Oakwell engineer means being an owner's engineer and their trusted partner. Oakwell is a real estate and infrastructure firm that provides capital, engineering, and project delivery services to hospitals and universities. Our engineers take pride in their professional autonomy and combine technical leadership with strategic influence to shape major infrastructure initiatives from concept through completion.
$670M+ saved across 150+ projects — and counting. That efficiency is on track to expand access to healthcare and education for 1,000,000 people. We are looking for partners to help us get there. Multiple remote opportunities available.
What you'll drive You will work alongside senior Oakwell engineers and health-system clients to conceptualize and implement 10-year sustainability and decarbonization plans — cutting energy consumption, carbon, and cost; renewing infrastructure and driving electrification; aligning sustainability with the client's real estate master plan; and creating sustainable MEP construction standards.
**This is a remote position with a preference for candidates located near our Boston, MA headquarters**
What you'll do:

  • Audit, benchmark, and document existing facilities and MEP systems — evaluating energy use and carbon against comparable sites, reviewing condition drawings, and gathering plant-operations insight from facility staff.
  • Retro-commission existing mechanical systems: central plant, air handling, terminal equipment, and energy management systems.
  • Develop multi-phase, ROI-driven ECMs (Energy Conservation Measures), estimating savings with our custom energy-modeling software.
  • Produce clear reports on facility conditions, recommendations, cost savings, and ROI — and present findings directly to clients.
  • Complete utility technical-assistance studies to secure efficiency incentives.
  • Prepare scope narratives, EMS points lists and sequences of operations, and scaled drawings and specifications for contractor pricing and installation.
  • Lead construction meetings and commission new systems and controls through implementation.
  • Help build Oakwell's sustainable MEP standards — and the AI and machine-learning tools that make our analysis faster.
What you'll bring:
 
  • Must have: Bachelor's in Engineering (any field); 5–7 years of experience; a Professional Engineering license or active progress toward one; availability to travel as needed (~20%); competency with Microsoft Office and AutoCAD.
  • Nice to have: Client-facing experience; proficiency in Autodesk Revit and eQUEST; interest in building AI/ML tools that streamline engineering workflows.

Meet most of these and excited by the mission? Apply even if you don't check every box.
What makes you a great Oakwell teammate?
  • You take ownership and demonstrate agency to drive projects forward.
  • Working collaboratively in a team is second nature to you.
  • You thrive in ambiguity and changing priorities while delivering with consistency.
Benefits & Perks
Medical, Dental & Vision · Company-paid life and short/long-term disability insurance · HSA + medical and dependent-care FSAs · Voluntary accident & critical-illness coverage · 401(k) with company match · Paid company holidays and PTO · Employee Assistance Program (EAP)
Location & Compensation
Remote, with travel to client sites as needed (~20%).  Headquartered in Boston, MA· Competitive Compensation + Benefits.
Send your resume and a short note on what draws you to Oakwell to hr@oakwellteam.com.
Oakwell is an E-Verify and equal-opportunity employer.

Powered by JazzHR

1Hpb21mtLC