2

Remote Formal Verification Engineer Jobs in Oregon

Staff Systems Engineer, Integration

OR ยท On-site +1

$165K - $215K/yr

Boston, MA (hybrid) strongly preferred - can be remote for the right candidate $165,000 - $215,000 ... In compliance with federal law, all persons hired will be required to verify identity and ...

AI Engineer

OR ยท On-site +1

AI Engineer Remote, USA; potential for minimal ad hoc travel EMKS is seeking an AI Engineer to ... E-Verify As a Federal Contractor, we are required to use to validate employees' ability to work ...

Sr. Software Engineer II, Platform/API

OR ยท On-site +1

$140K - $190K/yr

Build the event-driven and asynchronous processing that moves applicant and verification data ... There may be remote flexibility for exceptional candidates in the following states: California ...

Staff Software Engineer

OR ยท On-site +1

FAA or Transport Canada remote pilot certication with ight experience. * Hands-on time leveraging ... Please note that specific customer contracts may impose additional security verification ...

Temporary AI Engineer

OR ยท On-site +1

AI Engineer Temporary Assignment (through 2/13/2027) Remote, USA; potential for minimal ad hoc ... E-Verify As a Federal Contractor, we are required to use to validate employees' ability to work ...

Please note that while the posted position is a Field Service Engineer, the actual position level ... Improve personal productivity by enhancing product knowledge through formal and on the job training.

Please note that while the posted position is a Field Service Engineer, the actual position level ... Improve personal productivity by enhancing product knowledge through formal and on the job training.

Sales Engineer (Application Security)

OR ยท On-site +1

$103K - $128K/yr

More than 30,000 organizations already rely on us to verify the identities of people and things ... Remote - Central/ West US States Thales is hiring an experienced Sales Engineer who'll provide ...

Commissioning II

OR ยท On-site +1

This role is remote within the U.S., with a preference for candidates located in or near: Arlington ... Perform job site visits to verify existing conditions, observe construction progress, and confirm ...

SCADA Engineer II, EPC

OR ยท On-site +1

... OR or fully remote. Specific location details and expectations will be discussed during the ... verify all contractual deliverables have been met. * Provideintermediate leveltechnical support ...

... OR or fully remote. Specific location details and expectations will be discussed during the ... verify all contractual deliverables have been met. * Provideintermediate leveltechnical support ...

Professional Services Engineer II - West

OR ยท On-site +1

$120K - $145K/yr

This is a remote role that must be based in MST or PST. As a key member of our Customer Success ... Work with the Project Manager and Engagement Manager to verify and validate services, project plans ...

Risk Engineer

OR ยท On-site +1

We are seeking a Risk Engineer to support our Subcontractor Default Insurance product. The position ... LI-Remote We are an E-Verify employer - all hired positions require successfully passing an E ...

Exempt Location: Remote / Hybrid (As applicable) Job Summary Prove is seeking a highly ... alignment without formal authority. * Proactive Problem Solver: Anticipate bottlenecks in the ...

Showing results 41-60

Remote Formal Verification Engineer information

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 Oregon?

The most popular types of Formal Verification Engineer jobs in Oregon are:

What job categories do people searching Remote Formal Verification Engineer jobs in Oregon look for?

The top searched job categories for Remote Formal Verification Engineer jobs in Oregon are:

What cities in Oregon are hiring for Remote Formal Verification Engineer jobs?

Cities in Oregon with the most Remote Formal Verification Engineer job openings:

Infographic showing various Remote Formal Verification Engineer job openings in Oregon as of September 2026, with employment types broken down into 70% Full Time, and 30% Contract. Highlights an 100% Remote job distribution.

Staff Systems Engineer, Integration

OR โ€ข On-site, Remote

Merlin Labs
Software Developmentย โ€ขย 51 - 200 employees

$165K - $215K/yr

Full-time

Medical, Dental, Life, Retirement, PTO

Re-posted 10 days ago


Key responsibilities

  • Guide system development and traceability from system requirements capture, through design decision making, to final demonstration for systems being implemented on various aircraft.

  • Facilitate the development of concepts of operation, system architecture, system requirements, measures of performance, certification planning and execution from requirements through to demonstration for Merlin product integrations.

  • Work across the safety, hardware, simulation, and software teams to capture, document, and communicate requirements and interfaces.


Job description

About Merlin:
Merlin (NASDAQ: MRLN) is a publicly traded aerospace and defense company building a non-human pilot to deliver full-stack autonomy for any aircraft from takeoff to touchdown. The Merlin Pilot autonomy system powers a growing range of aircraft and mission profiles and has been proven through hundreds of autonomous flights from Merlin's global flight test facilities, including Kerikeri, New Zealand; Quonset Point, Rhode Island; and soon, Bedford, Massachusetts. Headquartered in Boston, Merlin is expanding its organization to accelerate the development and deployment of its autonomy platform, helping customers solve some of aviation's most pressing challenges, from pilot shortages to improving flight safety. Backed by some of the world's leading investors prior to its public listing, Merlin continues to advance the certification and commercialization of autonomous flight across commercial and defense aviation.ย 

About you:ย 
You are a very experienced systems engineer involved in systems integration, requirements management, system design, and testing in civil-certified or military safety-critical avionics and mission systems. You have a passion for new development and have a proven record of navigating the challenges in new product integration. You've worked in an experimental R&D flight test environment with general civil certified or commercial derivative aircraft and know how to keep safety at the forefront while still moving quickly. You also have experience in interfacing with a wide array of engineering domains, customers, suppliers, and partners.
Responsibilities:
  • Guide system development and traceability from system requirements capture, through design decision making, to final demonstration for systems being implemented on various aircraft.
  • Facilitate the development of concepts of operation, system architecture (including functional and physical architectures), system requirements, measures of performance, certification planning and execution from requirements through to demonstration for Merlin product integrations.
  • Work across the safety, hardware, simulation, and software teams to capture, document, and communicate requirements and interfaces
  • Host design reviews of architectures for senior leadership and review artifacts as the primary technical stakeholder across all supporting functional disciplines.
  • Managing systems engineering tasking and aligning disciplines to support their successful and timely completion.
  • Participate in the development of systems engineering development plans and processes as needed.
  • Participate in reviews of artifacts with customers, suppliers, and regulatory authorities as required.
Qualifications:
  • BS in Electrical/Aerospace/Systems Engineering or a related subject, MS preferred.
  • 10+ years of experience conducting systems engineering in FAA/EASA/Military certification programs (8+ years with MS degree).
  • Demonstrated ability to lead as a Systems Engineer in solving complex architectural and systems engineering-related problems across aircraft integration and software.
  • Demonstrated experience facilitating design across multi-disciplined functional groups: hardware, software, electrical, mechanical, and test engineering.
  • Experience with requirements management tools and processes
  • Hands-on experience in integrating avionics and/or avionics integrated mission equipment using civil and/or military standards for flight safety, equipment qualification, and airworthiness
  • Demonstrated ability to develop system-level requirements, architecture, and interfaces, and perform requirements validation and verification.
  • Demonstrated familiarity with general aviation aircraft and integration.
Nice to Have:
  • Specific experience with general aviation aircraft integration, including Cessna Caravan
  • Specific experience in the area of Automatic Flight Controls, Flight Management, or Display Systems.
  • Specific experience in developing software requirements and performing software verification.
  • Working knowledge of FAA/EASA/Military regulations and standards is a plus.
  • Familiarity with Simulink, Cameo, IADS, Jama, JIRA
Location: Boston, MA (hybrid) strongly preferred - can be remote for the right candidate
$165,000 - $215,000 a year

The compensation range provided is reflective of base salary only, and is a good-faith estimate based on a wide range of factors. The actual offer will be determined by a variety of factors including the candidate's qualifications, skills, experience, education, and training. Highly competitive equity grants are considered part of Merlin's total compensation package. Additionally, Merlin offers top-tier benefits for full-time employees.

Merlin Labs offers an innovative, entrepreneurial, and team-focused startup environment. We also offer a top-notch benefits package (health, dental, life, unlimited vacation, and 401k with match) and work/life integration. Being part of the Merlin team allows you to become part of a small team that supports professional development while working together to achieve our mission.
ย 
Merlin Labs is an equal opportunity employer and values diversity. We do not discriminate on the basis of race, religion, color, national origin, genetic information, sex (including pregnancy), gender, gender identity and expression, sexual orientation, age, marital status, military service or obligation or disability status, or any other characteristic protected by law. All job offers are contingent upon the candidate passing background and reference checks.
ย 
At this time, we are unable to provide visa sponsorship or consider candidates who require visa transfers. Applicants must be authorized to work in the United States without the need for visa sponsorship now or in the future.ย 
ย 
In compliance with federal law, all persons hired will be required to verify identity and eligibility to work in the United States and to complete the required employment eligibility verification form upon hire.
ย 
If you require reasonable accommodation in completing an application, interviewing, completing any pre-employment testing, or otherwise participating in the employee selection process, please direct your inquiries to: [emailย protected]
ย 
Merlin Labs does not accept unsolicited resumes from any source other than directly from candidates.
apply for this job