ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Oregon

Merlin Labs

Staff Systems Engineer, Integration

OR · On-site +1

$166K/yr

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

Merlin Labs

Staff Systems Engineer, Integration

OR · On-site +1

$166K/yr

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

Array

Senior Engineer

OR · On-site +1

$115K/yr

As a remote-first company, we're focused on providing opportunities for high performing individuals ... Array uses CLEAR to conduct identity verification as part of the application process. We encourage ...

Epiq

Software Engineer

Portland, OR · Remote

... LI-Remote The Compensation range for this role is 110,000 to 160,000 USD annually and may be ... In compliance with federal law, all persons hired will be required to verify identity and ...

Pantheon Systems, Inc

Sales Engineer

OR · Remote

$146K - $182K/yr

Deliver customized product demonstrations and technical presentations (remote and on-site) that ... After an offer is made and accepted, E-verify will be utilized to establish your identity and ...

Veriff

Senior Technical Support Engineer

OR · On-site +1

$114K - $145K/yr

Remote within USA but preferable to be in Salt Lake City, Utah Salary range: $114,000 - $145,000 ... We are the preferred identity verification platform partner for the world's most innovative growth ...

Sapiens

Pre-Sales Engineer, Workers' Comp

OR · On-site +1

Remote (US) Sapiens is on the lookout for a Pre-Sales Engineer, WC to become a key player in our ... Sapiens is an E-Verified & Equal Opportunity / Affirmative Action Employer. All qualified ...

Ascension

Senior Network Engineer Route Switch

$116K - $162K/yr

Remote Department: Core Tech Network Schedule: 8 hour shift, Monday-Friday Salary: $116,413 - $162 ... E-Verify statement Employer participates in the Electronic Employment Verification Program. Please ...

Sapiens

Value Engineer

OR · On-site +1

Remote The Value Engineer plays a critical role at the intersection of sales , product , and ... Sapiens is an E-Verified & Equal Opportunity / Affirmative Action Employer. All qualified ...

rePurpose Global

Senior Software Engineer

OR · On-site +1

$160K - $200K/yr

This position is remote-only for East Coast candidates, but we prefer candidates based in New York ... verification signals in application materials based on available information. These tools assist ...

rePurpose Global

Senior Software Engineer

OR · On-site +1

$160K - $200K/yr

This position is remote-only for East Coast candidates, but we prefer candidates based in New York ... verification signals in application materials based on available information. These tools assist ...

CannonDesign

Project Electrical Engineer IV

OR · On-site +1

$106K - $132K/yr

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

SOLV Energy

Performance Engineer II

Bend, OR · On-site +1

This role can be fully remote or based full-time in our offices in San Diego, CA or Bend, OR ... Verify project drawings, including site plans, system layouts, one-lines, cable management, and ...

SOLV Energy

Performance Engineer II

OR · On-site +1

This role can be fully remote or based full-time in our offices in San Diego, CA or Bend, OR ... Verify project drawings, including site plans, system layouts, one-lines, cable management, and ...

Cupertino Electric, Inc.

Power Systems Engineer

$128K - $160K/yr

San Jose, CA or Remote Salary Range: $128,000 to $160,000 *This position is eligible for the annual ... Perform short circuit analysis to provide basis for and verify cable and equipment short circuit ...

next page

Showing results 1-20

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

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 are Remote Formal Verification Engineers?

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, and why are they important?

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 Oregon? The most popular types of Formal Verification Engineer jobs in Oregon are:
What are popular job titles related to Remote Formal Verification Engineer jobs in Oregon? For Remote Formal Verification Engineer jobs in Oregon, the most frequently searched job titles 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:
Remote Formal Verification Engineer jobs near you
Infographic showing various Remote Formal Verification Engineer job openings in Oregon as of July 2026, with employment types broken down into 93% Full Time, 4% Part Time, 2% Contract, and 1% Nights. Highlights an 87% Physical, 4% Hybrid, and 9% Remote job distribution.
Staff Systems Engineer, Integration

Staff Systems Engineer, Integration

Merlin Labs

OR • On-site, Remote

$166K/yr

Full-time

Medical, Dental, Life, Retirement, PTO

Posted 12 days ago

Job description

About Merlin:
Merlin is a venture backed aerospace startup building a non-human pilot to enable both reduced crew and uncrewed flight. Backed by some of the world's leading investors, Merlin is scaling alongside our customers to begin leveraging autonomy today to solve some of aviation's biggest challenges.

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

Apply