ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Boston, MA

Motional

Perception Engineer

Boston, MA · On-site +1

$165K - $197K/yr

N322 BOSTON - REMOTE U.S. ONLY FULL-TIME What You'll Do: * Connect/drive project-level impact ... To comply with Federal Law, we participate in E-Verify. All newly-hired employees are queried ...

Motional

Senior Engineer

Boston, MA · Remote

$200K - $241K/yr

No. N266 BOSTON - REMOTE U.S. ONLY FULL-TIME What You'll Do: * Develop algorithms on planning ... To comply with Federal Law, we participate in E-Verify. All newly-hired employees are queried ...

Motional

Senior Engineer

Boston, MA · On-site +1

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

Motional

Senior Engineer

Boston, MA · On-site +1

$200K - $241K/yr

No. N266 BOSTON - REMOTE U.S. ONLY FULL-TIME What You'll Do: * Develop algorithms on planning ... To comply with Federal Law, we participate in E-Verify. All newly-hired employees are queried ...

Motional

Perception Engineer

Boston, MA · Remote

$165K - $197K/yr

N322 BOSTON - REMOTE U.S. ONLY FULL-TIME What You'll Do: * Connect/drive project-level impact ... To comply with Federal Law, we participate in E-Verify. All newly-hired employees are queried ...

The Mutual Group

Lead AI Engineer - AWS Platform

Boston, MA · On-site +1

$130K - $190K/yr

Flexible work schedules and hybrid/remote options for eligible positions * Educational assistance ... Employment Verification The Mutual Group participates in the E-Verify program and will provide the ...

Redhat

Senior Software Engineer

Lowell, MA · On-site +1

$118K - $195K/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 ...

Beacon Biosignals

Algorithm Engineer

Boston, MA · On-site +1

$150K - $170K/yr

Beacon's robust asynchronous work practices ensure a first-class remote work experience, but we ... formal validation, quality/regulatory documentation, production deployment, and working with ...

Beacon Biosignals

Algorithm Engineer

Boston, MA · On-site +1

$150K - $170K/yr

Beacon's robust asynchronous work practices ensure a first-class remote work experience, but we ... formal validation, quality/regulatory documentation, production deployment, and working with ...

Beacon Biosignals

Algorithm Engineer

Boston, MA · On-site +1

$150K - $170K/yr

Beacon's robust asynchronous work practices ensure a first-class remote work experience, but we ... formal validation, quality/regulatory documentation, production deployment, and working with ...

Sail Biomedicines

Sr. Engineer, Drug Product

Cambridge, MA · On-site +1

$130K - $150K/yr

Provide person-in-plant or remote technical support Process Modeling & Data Analysis * Develop and ... Support continued process verification by identifying trends, process drifts, and relationships ...

5

Senior Energy Engineer- Northeast

Boston, MA · On-site +1

$113K - $155K/yr

This is a remote position. Candidates must reside in the Northeast, with a preference for the New ... verification signals in application materials based on available information. These tools assist ...

5

Senior Energy Engineer- Northeast

Boston, MA · Remote

$107K - $146K/yr

This is a remote position. Candidates must reside in the Northeast, with a preference for the New ... verification signals in application materials based on available information. These tools assist ...

5

Senior Energy Engineer- Northeast

Boston, MA · Remote

$113K - $155K/yr

This is a remote position. Candidates must reside in the Northeast, with a preference for the New ... verification signals in application materials based on available information. These tools assist ...

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

Perception Engineer

Motional

Boston, MA • On-site, Remote

$165K - $197K/yr

Full-time

Medical, Dental, Vision, Life, Retirement

Posted 5 days ago

Job description

Perception Engineer. Ref. No. N322
BOSTON - REMOTE U.S. ONLY
FULL-TIME
What You'll Do:
  • Connect/drive project-level impact through technology solutions..
  • Design, develop, implement, and fix features in codebase.
  • Formulate problems, architect solutions, and design processes.
  • Train and deploy new AI models.
  • Analyze model performance and identify improvements.
  • Research/evaluate emerging technologies to enhance AI models.
  • Prototype, evaluate, implement, and iterate on solutions.

What You Bring:
  • Requires Bachelor's or higher in Computer Science, Electrical Engineering, Robotics, or or a closely related technical field
  • Two years of industry experience in automotive industry software development.
  • Experience must include:
    • production-level software development,
    • model deployment,
    • integration and validation for robotics,
    • testing/debugging algorithms,
    • machine learning applications,
    • Python,
    • C++,
    • PyTorch,
    • GPU training,
    • acceleration and inference optimization,
    • TensorRT/CUDA,
    • CI/CD pipelines, and
    • Git.

Ref Job No. N322
The salary range for this role is an estimate based on a wide range of compensation factors including but not limited to specific skills, experience and expertise, role location, certifications, licenses, and business needs. The estimated compensation range listed in this job posting reflects base salary only. This role may include additional forms of compensation such as a bonus or company equity. The recruiter assigned to this role can share more information about the specific compensation and benefit details associated with this role during the hiring process.
Candidates for certain positions are eligible to participate in Motional's benefits program. Motional's benefits include but are not limited to medical, dental, vision, 401k with a company match, health saving accounts, life insurance, pet insurance, and more.
Salary Range
$165,000-$197,698 USD
Motional is a driverless technology company making autonomous vehicles a safe, reliable, and accessible reality. We're driven by something more.
Our journey is always people first.
We aren't just developing driverless cars; we're creating safer roadways, more equitable transportation options, and making our communities better places to live, work, and connect. Our team is made up of engineers, researchers, innovators, dreamers and doers, who are creating a technology with the potential to transform the way we move.
Higher purpose, greater impact.
We're creating first-of-its-kind technology that will transform transportation. To do so successfully, we must design for everyone in our cities and on our roads. We believe in building a great place to work through a progressive, global culture that is diverse, inclusive, and ensures people feel valued at every level of the organization. Diversity helps us to see the world differently; it's not only good for our business, it's the right thing to do.
Scale up, not starting up.
Our team is behind some of the industry's largest leaps forward, including the first fully-autonomous cross-country drive in the U.S, the launch of the world's first robotaxi pilot, and operation of the world's longest-standing public robotaxi fleet. We're driven to scale; we're moving towards commercialization of our technology, and we need team members who are ready to embrace change and challenges.
Formed as a joint venture between Hyundai Motor Group and Aptiv, Motional is fundamentally changing how people move through their lives. Headquartered in Boston, Motional has operations in the U.S and Asia. For more information, visit www.Motional.com and follow us on Twitter, LinkedIn, Instagram and YouTube.
Motional AD Inc. is an EOE. We celebrate diversity and are committed to creating an inclusive environment for all employees. To comply with Federal Law, we participate in E-Verify. All newly-hired employees are queried through this electronic system established by the DHS and the SSA to verify their identity and employment eligibility.

Apply