ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Oregon

Nvidia

Senior Formal Verification Engineer - LPU

OR · On-site +1

$104K - $143K/yr

As a Senior Formal Verification Engineer at NVIDIA, you will verify ASICs developed at the forefront using formal verification tools. You will define the verification scope and ensure correctness.

Nvidia

Senior Formal Verification Engineer - LPU

OR · On-site +1

Join our outstanding team as a Senior Formal Verification Engineer and be at the forefront of developing modern technology that builds the future. This role offers an outstanding opportunity to work ...

K2 Space

Principal ASIC Design Verification Engineer

OR · On-site +1

$190K - $285K/yr

Write SystemVerilog Assertions (SVA) and integrate formal verification where appropriate. * Drive ... S. or M.S. in Electrical Engineering, Computer Engineering, or related field. * 10+ years of ...

Nvidia

Senior ASIC Verification Engineer

OR · On-site +1

... Formal Verification, Coverage metrics, profiling tools, X prop, etc. * Exposure on block level and ... Hands on experience in object-oriented programming * Prior design or verification experience at the ...

K2 Space

Senior ASIC Design Verification Engineer

OR · On-site +1

$170K - $250K/yr

Write SystemVerilog Assertions (SVA) and integrate formal verification where appropriate. * Drive ... S. or M.S. in Electrical Engineering, Computer Engineering, or related field. * 5+ years of ...

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

Actalent

Systems Engineer

Happy Valley, OR · On-site +1

$65 - $85/hr

Support system verification and validation activities, including test planning, execution oversight ... primarily remote. Individuals must be a very strong fit for the qualifications and have ...

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

Symbotic

Project Engineer, Commissioning Services

OR · On-site +1

Track and verify that timesheet hours align with commissioning tasks and projects. * Resolve ... Remote, field-based position. * Travel isrequiredup to 75% of the time. Employees must have a valid ...

Actalent

Sr. Systems Engineer

Happy Valley, OR · On-site +1

$65 - $85/hr

Support system verification and validation activities, including test planning, execution oversight ... primarily remote. Individuals must be a very strong fit for the qualifications and have ...

New

Kargo

Network Security Engineer

OR · On-site +1

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

Chainguard

Software Engineer (Libraries Platform)

OR · On-site +1

Automates CVE remediation and verification workflows * Powers AIdriven package builds * Provides ... Excellent communication in a remote, distributed environment, with a bias toward documentation ...

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 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 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 August 2026, with employment types broken down into 89% Full Time, 8% Part Time, and 3% Contract. Highlights an 85% Physical, 6% Hybrid, and 9% Remote job distribution.

Senior Formal Verification Engineer - LPU

Nvidia

OR • On-site, Remote

$104K - $143K/yr

Full-time

Re-posted 19 days ago

Nvidia rating

9.6

Company rating: 9.6 out of 10

Based on 17 frontline employees who took The Breakroom Quiz

7th of 246 rated software companies

Job description

NVIDIA has been transforming computer graphics, PC gaming, and accelerated computing for more than 25 years. It's a unique legacy of innovation that's fueled by great technology-and amazing people! Today, we're tapping into the unlimited potential of AI to define the next era of computing. An era in which our GPU acts as the brains of computers, robots, and self-driving cars that can understand the world. Doing what's never been done before takes vision, innovation, and the world's best talent. As an NVIDIAN, you'll be immersed in a diverse, supportive environment where everyone is inspired to do their best work. Join us and discover how you can build a lasting impact on the world!

As a Senior Formal Verification Engineer at NVIDIA, you will verify ASICs developed at the forefront using formal verification tools. You will define the verification scope and ensure correctness. You will employ sophisticated formal techniques to acquire sufficiently bounded proofs while working with architects, designers, and pre- & post-silicon verification teams to accomplish your tasks, as well as improve formal verification methodologies and flows. You will efficiently complete the formal verification effort for the entire project cycle, delivering high-quality results on schedule, and clearly conveying those results to the team.

What you will be doing:

  • Main task: Verify AI-related sophisticated ASIC designs & features with formal verification methods.

  • Multi-functional Collaboration: Partner with architecture/RTL teams to specify properties, resolve deep design issues, and influence micro-architecture decisions.

  • Formal verification execution: Leverage and unleash the power of formal verification to rigorously verify critical design properties and ensure compliance with specifications, as well as minimize spec ambiguities.

  • Articulate formal verification coverage to partners

  • Methodology Leadership: Develop and implement advanced formal verification environments and methodologies for complex ASIC designs, including automated flows for scalability and efficiency

  • Mentorship: Train and coach junior engineers on formal techniques and standard processes; Help on methodology/FAQ documentation.

  • Support silicon bring-up and debug using formal methods where it applies.

What we need to see:

  • BS/MS/PhD or equivalent experience in CS/CE/EE.

  • 12+ years in ASIC verification with 8+ years focused on formal verification methods

  • Mastery of SystemVerilog Assertions (SVA) and formal property verification

  • Proficient on at least one popular formal verification tool in the industry(JapserGold, VC Formal, etc.)

  • Good scripting skills for flow automation(tcl, python, etc.)

  • Good written and oral communication skills

  • Keen attention to details

Ways to stand out from the crowd:

  • Shown success in full-cycle formal sign-off for complex designs

  • Expertise in formal apps: FPV apps, sequential equivalence checks, datapath verification, etc.

  • Deep understanding of GPU or LPU architecture/design

Widely considered to be one of the technology world's most desirable employers, NVIDIA offers highly competitive salaries and a comprehensive benefits package. As you plan your future, see what we can offer to you and your family www.nvidiabenefits.com

#LI-Hybrid

Your base salary will be determined based on your location, experience, and the pay of employees in similar positions. The base salary range is 196,000 USD - 310,500 USD.

You will also be eligible for equity and benefits.

Applications for this job will be accepted at least until July 10, 2026.

This posting is for an existing vacancy.

NVIDIA uses AI tools in its recruiting processes.

NVIDIA is committed to fostering an inclusive work environment and proud to be an equal opportunity employer. As we highly value diversity in our current and future employees, we do not discriminate (including in our hiring and promotion practices) on the basis of race, religion, color, national origin, gender, gender expression, sexual orientation, age, marital status, veteran status, disability status or any other characteristic protected by law.

What Nvidia employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom

Nvidia logo

About Nvidia

Sourced by ZipRecruiter

NVIDIA has been transforming computer graphics, PC gaming, and accelerated computing for more than 25 years. It's a unique legacy of innovation that's fueled by great technology--and amazing people. Today, we're tapping into the unlimited potential of AI to define the next era of computing. An era in which our GPU acts as the brains of computers, robots, and self-driving cars that can understand the world. Doing what's never been done before takes vision, innovation, and the world's best talent.

Industry

Computer and electronic product manufacturing

Company size

10,000+ Employees

Headquarters location

Santa Clara, CA, US

Year founded

1993

View All Nvidia Jobs

Apply