ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Massachusetts

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

Indico Data

Senior Cybersecurity Engineer

Boston, MA · Remote

$124K - $170K/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. What success looks like * Participate in and lead the entire biosignal ... formal validation, quality/regulatory documentation, production deployment, and working with ...

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:

Efi global

Forensic Structural Engineer

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

Efi global

Forensic Structural Engineer

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

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

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

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

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

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

previous pagenext page

Showing results 21-40

All JobsFormal Verification Engineer JobsRemote Formal Verification Engineer JobsRemote Formal Verification Engineer Jobs in Massachusetts

Remote Formal Verification Engineer information

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 popular job titles related to Remote Formal Verification Engineer jobs in Massachusetts? For Remote Formal Verification Engineer jobs in Massachusetts, the most frequently searched job titles are:
What job categories do people searching Remote Formal Verification Engineer jobs in Massachusetts look for? The top searched job categories for Remote Formal Verification Engineer jobs in Massachusetts are:
What cities in Massachusetts are hiring for Remote Formal Verification Engineer jobs? Cities in Massachusetts with the most Remote Formal Verification Engineer job openings:
Remote Formal Verification Engineer jobs near you

Senior Algorithm Engineer

Beacon Biosignals

Boston, MA • Remote

$170K - $190K/yr

Full-time

PTO

Posted 25 days ago

Job description

Beacon Biosignals is seeking a Senior Algorithm and Machine Learning engineer! 

As part of Beacon's analytics and machine learning domain, you'll work alongside fellow data scientists, neuroscientists, engineers, and clinicians to scope, build, deploy, and maintain the machine and deep learning models that analyze brain and biosignal data for advancing sleep, neurological, and psychiatric therapy development.

At Beacon, we've found that cultural and scientific impact is driven most by those who lead by example. As such, we're always seeking out new contributors whose work demonstrates innate curiosity, a bias toward simplicity, an eye for composability, a self-service mindset, and-most of all-a deep empathy toward colleagues, stakeholders, users, and patients. We believe a diverse team builds more robust systems and achieves higher impact.

Beacon's work practices ensure a first-class remote work experience, but we also have in-person office hubs in Boston, New York City and Paris. This is a fully remote role.

What success looks like

  • Participate in and lead the entire biosignal-based algorithm development lifecycle for medical devices including specifications and requirements gathering, data curation and labeling, development, failure-analysis, production, maintenance, and documentation.
  • Select, implement, and develop the most appropriate method for each problem, knowing when to apply deep learning techniques and when other methods are more effective.
  • Enhance our internal deep learning and machine learning tools to boost team efficiency, introduce new model architectures and algorithmic techniques, and refine the codebase to encourage reusability where needed to enable rapid experimentation.
  • Spread and improve our best practices to ensure algorithm implementations are user-friendly, well-documented, and thoroughly tested, including unit tests, comprehensive documentation, CI, and non-regression testing.
  • Present results to key stakeholders and assist them in utilizing algorithms for client engagement.
  • Support the client-facing projects to understand and shape the impact Beacon algorithms have for our customers, both for existing deployed algorithms, and future algorithm development.

What you will bring

  • You have more than 5 years of industry experience in machine learning and deep learning, particularly in health sciences or other regulated fields, with a proven track record of bringing algorithms into production.
  • You are experienced with digital signal processing (DSP) and statistics and care about using the right tool for the job, which in many cases might not be machine learning or deep learning.
  • You are proficient in using PyTorch (preferred) or other deep learning frameworks for training, developing, and deploying deep learning models.
  • You are proficient with latest Deep Learning advances (Transformer/ViT, large scale modeling, large model training, ...)
  • You follow and spread best practices in software and ML engineering, including testing, version control, code reviews, documentation, Dockerization, CI/CD, and experiment tracking.
  • You are experienced with biosignals, medical imaging data, or large time-series datasets,  or are enthusiastic about learning more in the domain.
  • You thrive in a team environment, recognizing that collaboration, open communication, and continuous feedback are essential for collective success.
  • You are able to distill, discuss, and present complex technical topics in a way that is appropriate for the audience at hand, both internally and externally.
  • You are excited to participate in the entire algorithm development lifecycle, which spans scoping, data wrangling, algorithm development/experimentation, formal validation, quality/regulatory documentation, production deployment, and working with clients who might benefit from these algorithms.

The US-based salary range for this role is $170,000 - $190,000. Salary ranges are determined using current market compensation data for this role and adjusted based on experience, skills, and location. The base salary is one component of the total compensation package, which includes equity, PTO and other benefits.

At Beacon, we've found that cultural and scientific impact is driven most by those that lead by example. As such, we're always seeking new contributors whose work demonstrates an avid curiosity, a bias towards simplicity, an eye for composability, a self-service mindset, and - most of all - a deep empathy towards colleagues, stakeholders, users, and patients. We believe a diverse team builds more robust systems and achieves higher impact.

#LI-Remote

Apply