ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Oregon

Upstart

Software Engineer, Verifications Platform

OR · On-site +1

Design, build, and maintain scalable backend services that power automated verification workflows ... Remote Travel requirements As a digital first company, the majority of your work can be ...

Native

Position Summary We are looking for a skilled DeFi Smart Contract Developer with a proven track ... Familiar with formal verification and symbolic execution is a plus Employment Type: FULL_TIME

ARRISE

Math Tools Engineer

... remote game studio developing new slot games and we're looking for an experienced Math Tools Engineer to build out a new math simulation and verification toolkit to support our mathematicians. In ...

Zocdoc

Senior Staff Software Engineer, Data

OR · On-site +1

$105K - $143K/yr

This is a senior individual contributor role open to remote candidates across the United States ... Comfortable operating as a technical authority without formal management. * Energized by raising ...

Project Sapiens

Value Engineer

OR · Remote

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

New

DMI

DevSecOps Engineer

... and remote backends within approved change control processes * Develop and maintain Ansible ... Formal education requirements may be waived based on 4 years of relevant professional experience

Consensus Cloud Solutions

Senior Engineer - Clarity

OR · On-site +1

$140K - $197K/yr

Author high-quality technical prompts and formal specifications to minimize hallucination and ... Fully remote within the U.S. (Los Angeles or Las Vegas preferred.) * Travel requirements: Up to 10% ...

Kargo

Network Security Engineer

OR · Remote

$104K - $142K/yr

Our loading dock sensor platform verifies all incoming and outgoing freight, aggregating data that ... Configure and maintain firewalls, VPNs, network segmentation, NAC, and secure remote access ...

Project Sapiens

Pre-Sales Engineer, Workers' Comp

OR · Remote

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

New

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

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

next page

Showing results 1-20

All 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 June 2026, with employment types broken down into 1% As Needed, 89% Full Time, 5% Part Time, and 5% Contract. Highlights an 38% Physical, 3% Hybrid, and 59% Remote job distribution.
Senior ASIC Design Verification Engineer

Senior ASIC Design Verification Engineer

Ethernovia, Inc.

OR • Remote

$200K - $300K/yr

Other

Medical, Dental, Vision

Posted 24 days ago

Job description

Senior ASIC Design Verification Engineer

Summary:  

  • As a Senior ASIC Design Verification Engineer, you will be responsible for all aspects of digital SoC verification.
  • You will work the architects, designers, and SW engineers to plan and execute verification and validation of advanced automotive communication semiconductors and systems.
  • You will contribute to a positive, trusting, and cohesive working environment based on integrity and strong work ethics.
  • This position is located in: United States - Remote

Key Qualifications:

  • BS and/or MS in Electrical Engineering, Computer Science, or related field
  • Minimum 10+ years of ASIC verification experience
  • Strong understanding of ASIC verification fundamentals and industry standard methodologies
  • Experience with Verilog/System Verilog, UVM, Python, TCL, C/C++
  • Experience with the full verification flow, from spec to coverage analysis to gate level sim
  • Debugging failures in simulation to root cause problems
  • Self-motivated and able to work effectively both independently and in a team

Additional Success Factors:
Experience in any of the following areas:

  • Networking (Ethernet MAC, PHY, Switching, TCP/IP, security, PCIe and other industry standard protocols)
  • Video standards, protocols, processing
  • Digital signal processing filters
  • Third party IP (SerDes, controllers, processors, etc.)
  • Modular and Reusable Testbench architecture
  • Design for re-use of pre and post silicon tests and infrastructure
  • Automation of testbench creation, tests, regression, or EDA tools
  • Knowledge of SystemC and/or DPI

Personal Skills:

  • Excellent communication/documentation skills.
  • Attention to details.
  • Collaboration across multidisciplinary and international teams.

What You Can Expect from Ethernovia:

  • Technology depth and breadth expansion that can't be found in a large company
  • Opportunity to grow your career as the company grows
  • Pre IPO stock options
  • Cutting edge technology
  • World class team
  • Competitive base salary
  • Flexible hours
  • Medical, dental and vision insurance for employees

Salary Range:

  • The actual offered base salary for U.S. locations will vary depending on factors such as work location, individual qualifications, specializations, experience, skills, job-related knowledge, and internal equity. The annual salary range for this position is $200,000 - $300,000. The compensation package will also include incentive compensation in the form of pre-IPO ISO options, in addition to base salary and a full range of medical and other benefits.

#LI-Remote

Apply