ZipRecruiter

Log In

1

Formal Verification Engineer Jobs in Oregon (NOW HIRING)

Apple

RTL Design Engineer

Beaverton, OR · On-site

You will work with a variety of flows fundamental to modern silicon engineering: modeling and ... Python) Formal verification and low-power design methodologies Hardware-software co-design and ...

Apple

RTL Design Engineer

Beaverton, OR · On-site

You will work with a variety of flows fundamental to modern silicon engineering: modeling and ... Python) Formal verification and low-power design methodologies Hardware-software co-design and ...

Apple

RTL Design Engineer

Beaverton, OR

$141K/yr

You will work with a variety of flows fundamental to modern silicon engineering: modeling and ... Python) Formal verification and low-power design methodologies Hardware-software co-design and ...

Apple

ASIC Design and Integration Engineer

Beaverton, OR

$150K - $277K/yr

Apple's Silicon Engineering team is looking for a highly skilled and motivated ASIC Design Engineer ... Verification: Engage with simulation-based and formal verification teams to ensure robust design ...

Apple

ASIC Design and Integration Engineer

Beaverton, OR

$150K - $277K/yr

Apple's Silicon Engineering team is looking for a highly skilled and motivated ASIC Design Engineer ... Verification: Engage with simulation-based and formal verification teams to ensure robust design ...

Apple

ASIC Design and Integration Engineer

Beaverton, OR

$184K - $324K/yr

Apple's Silicon Engineering team is looking for a highly skilled and motivated ASIC Design Engineer ... Verification: Engage with simulation-based and formal verification teams to ensure robust design ...

Apple

ASIC Design and Integration Engineer

Beaverton, OR

$184K - $324K/yr

Apple's Silicon Engineering team is looking for a highly skilled and motivated ASIC Design Engineer ... Verification: Engage with simulation-based and formal verification teams to ensure robust design ...

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

Nvidia

OR

First-hand experience with RTL, functional verification, formal verification, or physical design would be an asset. * High-level programming skills including experience with Python, PERL, Make, and ...

Apple

DDR Design Engineer

Beaverton, OR

Use formal tools and static checkers to guarantee RTL quality. You will also support design ... verification to insure bug-free first silicon. Responsibilities will include driving functional and ...

Apple

DDR Design Engineer

Beaverton, OR · On-site

Use formal tools and static checkers to guarantee RTL quality. You will also support design ... verification to insure bug-free first silicon. Responsibilities will include driving functional and ...

Apple

DDR Design Engineer

Beaverton, OR · On-site

Use formal tools and static checkers to guarantee RTL quality. You will also support design ... verification to insure bug-free first silicon. Responsibilities will include driving functional and ...

Apple

DDR Design Engineer

Beaverton, OR

Use formal tools and static checkers to guarantee RTL quality. You will also support design ... verification to insure bug-free first silicon. Responsibilities will include driving functional and ...

previous page

Showing results 41-60

All JobsFormal Verification Engineer JobsFormal Verification Engineer Jobs in Oregon

Formal Verification Engineer information

See Oregon salary details

$84.6K

$150.8K

$215.2K

How much do formal verification engineer jobs pay per year?

As of Aug 9, 2026, the average yearly pay for formal verification engineer in Oregon is $150,789.00, according to ZipRecruiter salary data. Most workers in this role earn between $143,800.00 and $143,800.00 per year, depending on experience, location, and employer.

What are the key skills and qualifications needed to thrive as a formal verification engineer?

To thrive as a Formal Verification Engineer, you need a strong background in digital design, computer architecture, and logic, typically supported by a degree in electrical engineering, computer science, or a related field. Expertise in formal verification tools such as Cadence JasperGold, Synopsys VC Formal, or Mentor Questa, along with proficiency in hardware description languages (HDLs) like Verilog or VHDL, is essential. Strong analytical thinking, attention to detail, and effective communication skills help you collaborate with design and verification teams and present complex findings. These competencies are critical for ensuring hardware systems are bug-free, reliable, and meet stringent industry standards.

What are the common daily responsibilities of a formal verification engineer?

As a Formal Verification Engineer, your typical day involves creating and analyzing formal properties, developing assertions, and using formal verification tools to mathematically prove correctness of hardware designs. You'll collaborate closely with design and simulation teams to review specifications, identify verification requirements, and debug issues found during the verification process. Regular documentation of findings, participation in code and design reviews, and ongoing learning about new verification methodologies are also important parts of the role. This dynamic environment requires both technical depth and proactive teamwork to ensure high-quality design outcomes.

What is a formal verification engineer?

A Formal Verification Engineer is responsible for ensuring the correctness of hardware or software designs using mathematical and logical techniques. They apply formal methods to verify that a system behaves as intended, identifying potential design flaws early in the development process. This involves writing formal properties, using model checking tools, and collaborating with design and validation teams. Their work helps improve reliability, reduce bugs, and enhance the efficiency of verification compared to traditional simulation-based methods.

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 Formal Verification Engineer jobs in Oregon? For Formal Verification Engineer jobs in Oregon, the most frequently searched job titles are:
What job categories do people searching Formal Verification Engineer jobs in Oregon look for? The top searched job categories for Formal Verification Engineer jobs in Oregon are:
What cities in Oregon are hiring for Formal Verification Engineer jobs? Cities in Oregon with the most Formal Verification Engineer job openings:
Formal Verification Engineer jobs near you
Infographic showing various Formal Verification Engineer job openings in Oregon as of August 2026, with employment types broken down into 78% Full Time, 18% Part Time, and 4% Contract. Highlights an 87% Physical, 4% Hybrid, and 9% Remote job distribution, with an average salary of $150,789 per year, or $72.5 per hour.

SoC Physical Design Verification Engineer

Apple

Beaverton, OR

$129K - $194K/yr

Full-time

Medical, Dental, Retirement

Re-posted 14 days ago

Apple rating

8.0

Company rating: 8.0 out of 10

Based on 677 frontline employees who took The Breakroom Quiz

7th of 30 rated technology retailers

Job description

At Apple, we work every single day to craft products that enrich people's lives! Do you love creating elegant solutions to highly complex challenges? Do you intrinsically see the importance in every detail? As part of our Silicon Technologies group, you’ll help design and manufacture our next-generation, high-performance, power-efficient processor, system-on-chip (SoC). You’ll ensure Apple products and services can seamlessly and efficiently handle the tasks that make them beloved by millions. Joining our group means you’ll be responsible for crafting and building the technology that fuels Apple’s devices. Together, we will enable our customers to do all the things they love with their devices! In this highly visible role, you will be a part of a critical team responsible for physical verification of an SOC.
Description
• As a member of our physical design team, you will perform various types of physical verification checks such as LVS, DRC, design-for-manufacturing & design-for-yield, and lithography at the chip and block level.
• You will collaborate with the CAD/Technology teams for flow bring up and validation. We work directly with the implementation team during the entire chip design cycle to drive signoff closure for tapeout.
• You will lead schedules and support cross-functional engineering efforts.
• You will work on padring, bump, RDL design, and working with the package and floorplan teams.
Preferred Qualifications
Experienced with physical verification flows such as DRC/LVS/ANT and layout integration methodology
Understands RTL to GDS physical design flow
Scripting skills to debug flow related issues and make enhancements as appropriate
Experienced in industry standard tools used for physical verification such as Mentor Calibre, Synopsys ICV, etc
Layout design background and experience a plus
Minimum Qualifications
BS degree with 0 years of relevant industry experience.
Pay & Benefits
At Apple, base pay is one part of our total compensation package and is determined within a range. This provides the opportunity to progress as you grow and develop within a role. The base pay range for this role is between $129,300 and $194,700, and your base pay will depend on your skills, qualifications, experience, and location.
Apple employees also have the opportunity to become an Apple shareholder through participation in Apple's discretionary employee stock programs. Apple employees are eligible for discretionary restricted stock unit awards, and can purchase Apple stock at a discount if voluntarily participating in Apple's Employee Stock Purchase Plan. You'll also receive benefits including: Comprehensive medical and dental coverage, retirement benefits, a range of discounted products and free services, and for formal education related to advancing your career at Apple, reimbursement for certain educational expenses - including tuition. Additionally, this role might be eligible for discretionary bonuses or commission payments as well as relocation. Learn more about Apple Benefits
Note: Apple benefit, compensation and employee stock programs are subject to eligibility requirements and other terms of the applicable plan or program.

What Apple employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom

Apple logo

About Apple

Sourced by ZipRecruiter

Imagine what you could do here! At Apple, new ideas have a way of becoming extraordinary products, services, and customer experiences very quickly. Bring passion and dedication to your job and there's no telling what you could accomplish. Dynamic, intelligent people and inspiring, innovative technologies are the norm here. The people who work here have reinvented entire industries with all Apple Hardware products. The same real passion for innovation that goes into our products also applies to our practices strengthening our dedication to leave the world better than we found it.

Industry

Computer and electronic product manufacturing

Company size

10,000+ Employees

Headquarters location

Cupertino, CA, US

Year founded

1976

View All Apple Jobs

Apply