ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Boston, MA

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.

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.

Beacon Biosignals

Senior Algorithm Engineer

Boston, MA · Remote

$170K - $190K/yr

This is a fully remote role. What success looks like * Participate in and lead the entire biosignal ... formal validation, quality/regulatory documentation, production deployment, and working with ...

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 ...

RINA

Senior Structural Engineer

Boston, MA · On-site +1

$108K - $147K/yr

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

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 ...

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 ...

KeyData Cyber

CyberArk Engineer

Boston, MA · Remote

Consumer IAM (Identity Verification, Authentication and Access, Threat Detection) in highly ... USA, Remote Employment Type: Contract, Immediate Start through December 31, 2026 What You'll Do:

Booz Allen Hamilton, Inc.

Technical Writer

Lexington, MA · On-site +1

$69K - $158K/yr

Remote Work: Hybrid Job Number: R0241561 Location: Lexington,MA,US Share job via: Share Technical ... Experience collaborating with engineering, logistics, and program management teams to ensure ...

RevenueBase Inc

Customer Engineer

Waltham, MA · Remote

We provide continuously refreshed, verified B2B data for autonomous AI agents and GTM workflows ... Fully remote-friendly team (East Coast / Boston preferred). * Direct collaboration with founders ...

Efi global

Forensic Structural Engineer

Boston, MA · On-site +1

We are seeking a skilled Structural Engineer for a remote forensic engineering position in a fast ... Property field assessment and verification of construction for property, casualty and liability ...

Redhat

Software Engineer

Lowell, MA · On-site +1

$96K - $154K/yr

... testing and verification * Practice defensive programming to deliver stable and high-quality ... For positions with Remote-US locations, the actual salary range for the position may differ based ...

America's Test Kitchen

Senior Software Engineer

Boston, MA · On-site +1

$130K - $150K/yr

... formal people management responsibilities * Cross-Functional Partnership: Work closely with Data ... This role is based in our Boston, MA headquarters (Seaport District) or is open to qualified remote ...

Nametag

Senior Software Engineer, Reliability

Boston, MA · Remote

$120K - $190K/yr

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 ...

Motional

Senior Engineer

Boston, MA · Remote

$190K - $244K/yr

Ref. No. N270 BOSTON - REMOTE U.S. ONLY FULL-TIME What You'll Do: * Design, implement, and test ... To comply with Federal Law, we participate in E-Verify. All newly-hired employees are queried ...

previous pagenext page

Showing results 21-40

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 Aug 9, 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 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 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 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.

Systems Engineer, Lead

Booz Allen Hamilton, Inc.

Lexington, MA • On-site, Remote

$99K - $225K/yr

Full-time, Part-time

Medical, Life, Retirement, PTO

Re-posted 9 days ago

Booz Allen Hamilton rating

8.9

Company rating: 8.9 out of 10

Based on 49 frontline employees who took The Breakroom Quiz

9th of 72 rated business consultants

Job description


Remote Work:
No
Job Number:
R0234583
Location:
Lexington,MA,US
Share job via:
Share
Systems Engineer, Lead
The Opportunity:
Are you looking for an opportunity to combine your technical skills with big-picture thinking to make an impact with Mission Planning? You understand your customer's environment and how to develop the right systems for their mission. Your ability to translate real-world needs into technical specifications makes you an integral part of delivering a customer-focused engineering solution.
As a leader in systems engineering, we're looking for you to solve complex challenges and shape the customer mission by leading the end-to-end modernization, integration, and sustainment of the Mission Planning System (MPS), including JMPS, JOMS, CMP microservices, and emerging cloud-native mission-planning capabilities. The role spans enterprise architecture, DevSecOps, cybersecurity, data engineering, and integration across U.S. and FMS mission-planning environments.
Join us. The world can't wait.
You Have:
  • 10+ years of experience with systems engineering supporting complex, multi-tiered systems such as cloud, hybrid, or edge
  • 5+ years of experience leading engineering teams, integration efforts, or multi-vendor technical activities
  • Experience with mission-planning systems, including JMPS, JOMS, or CMP microservices, or C2 or aviation systems
  • Experience with DevSecOps, CI/CD, automated testing, and Infrastructure-as-Code
  • Experience with ATO or ACO processes, AOC systems, and JADC2-aligned architectures
  • Knowledge of Zero Trust, ICAM or IdM, RMF, and cybersecurity engineering
  • Ability to work across government, contractor, and multi-vendor environments
  • Secret clearance
  • Bachelor's degree in Engineering, CS, or Systems Engineering

Nice If You Have:
  • Experience supporting AFLCMC, PEO C3BM, or C3M programs
  • Experience with FMS mission-planning environments and MBSE, DoDAF, and enterprise-architecture frameworks
  • Knowledge of Agile, SAFe, and Lean-Agile portfolio practices
  • Possession of excellent communication and technical documentation skills
  • Master's degree

Clearance:
Applicants selected will be subject to a security investigation and may need to meet eligibility requirements for access to classified information; Secret clearance is required.
Compensation
At Booz Allen, we celebrate your contributions, provide you with opportunities and choices, and support your total well-being. Our offerings include health, life, disability, financial, and retirement benefits, as well as paid leave, professional development, tuition assistance, work-life programs, and dependent care. Our recognition awards program acknowledges employees for exceptional performance and superior demonstration of our values. Full-time and part-time employees working at least 20 hours a week on a regular basis are eligible to participate in Booz Allen's benefit programs. Individuals that do not meet the threshold are only eligible for select offerings, not inclusive of health benefits. We encourage you to learn more about our total benefits by visiting the Resource page on our Careers site and reviewing Our Employee Benefits page.
Salary at Booz Allen is determined by various factors, including but not limited to location, the individual's particular combination of education, knowledge, skills, competencies, and experience, as well as contract-specific affordability and organizational requirements. The projected compensation range for this position is $99,000.00 to $225,000.00 (annualized USD). The estimate displayed represents the typical salary range for this position and is just one component of Booz Allen's total compensation package for employees. This posting will close within 90 days from the Posting Date.
Identity Statement
As part of the hiring process, we will ask you to complete an identity verification process that leverages advanced biometrics and artificial intelligence to ensure authenticity and protect against identity fraud. You are expected to be on camera during interviews and assessments. We reserve the right to take your picture to verify your identity and prevent fraud.
Candidate AI Usage Policy
AI is a part of our daily work at Booz Allen, and we are committed to the responsible and ethical use of AI tools. However, we want to ensure a fair candidate process based on your own skills and knowledge. As part of this commitment, the use of artificial intelligence (AI) or other tools to assist with responses during interviews (whether in-person or virtual) is prohibited unless permission is explicitly provided.
Work Model
Our people-first culture prioritizes the benefits of collaboration, whether it occurs in person or virtually. To support engagement and effective communication, employees working virtually are generally expected to have their cameras on during meetings.
  • Remote: If this position is listed as remote, there may still be occasions when you are required to work in person at a Booz Allen or customer facility.
  • Hybrid: If this position is listed as hybrid, you will be expected to work from a Booz Allen facility frequently, in alignment with leadership expectations and the needs of the role. You may also be required to work from or visit a customer facility.
  • Onsite: If this position is listed as onsite, work will primarily be performed at a Booz Allen office or customer facility, where employees will collaborate directly with colleagues and customers as required by the role.

Commitment to Non-Discrimination
All qualified applicants will receive consideration for employment without regard to disability, status as a protected veteran or any other status protected by applicable federal, state, local, or international law.
Not ready to apply? Join our Talent Community and sign up for job alerts.

What Booz Allen Hamilton employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom

Booz Allen Hamilton logo

About Booz Allen Hamilton

Sourced by ZipRecruiter

Booz Allen Hamilton is a leading provider of management and technology consulting services to the US government in defense, intelligence, and civil markets. Headquartered in McLean, Virginia, the firm also serves major corporations, institutions, and not-for-profit organizations. Founded in 1914 by Edwin G. Booz, the company has a long-standing tradition of helping clients achieve success by delivering a wide range of consulting services that include strategic planning, human capital and learning, communication, systems development, and others. The company's mission is to empower people to change the world, and it has a reputation for maintaining the highest standards of integrity and-excellence.

Industry

It services

Company size

10,000+ Employees

Headquarters location

McLean, VA, US

Year founded

1914

View All Booz Allen Hamilton Jobs

Apply