ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Oregon

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

Ascension

Identity Security Engineering Leader

$138.26K - $195.19K/yr

Remote Department: Data Delivery and Governance Schedule: Full Time, Days Salary: $138,258.29 ... Engineer and automate end-to-end identity lifecycle event flows (Joiner/Mover/Leaver) and access ...

CrowdStrike

Sr. Infrastructure Engineer - Kubernetes (Remote)

OR · Remote

$108.40K - $147.40K/yr

Bachelor's degree in an applicable field, such a CS, CIS or Engineering #LI-LY1 #LI-Remote This ... Notice of E-Verify Participation Right to Work CrowdStrike, Inc. is committed to fair and equitable ...

SOLV Energy

Senior SCADA Engineer, EPC Integration (Remote)

OR · Remote

$104.40K - $143.40K/yr

... verify all contractual deliverables have been met. * Provide expert level technical support ... agency has received formal instructions from our internal talent acquisition team to submit ...

Consensus Cloud Solutions

Senior Engineer - Clarity

OR · On-site +1

$140K - $197.50K/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% ...

Ameresco

Energy Engineer

OR · On-site +1

$70K - $100K/yr

Measure and verify performance of energy management programs over time. * Deliver clear technical ... Compensation may vary by work location, including remote arrangements. We disclose salary ranges ...

Ameresco

Energy Engineer

OR · On-site +1

$70K - $100K/yr

Measure and verify performance of energy management programs over time. * Deliver clear technical ... Compensation may vary by work location, including remote arrangements. We disclose salary ranges ...

Project Sapiens

Pre-Sales Engineer, P&C

OR · Remote

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

Bigcommerce

Senior Software Engineer (Backend) - PHP

OR · Remote

$135.96K - $203.94K/yr

... join the fully remote Engineering team at Feedonomics. You will be working with a highly ... Commerce does not offer jobs to individuals who do not go through our formal hiring process.

Array

Deployment Engineer

OR · On-site +1

$100K/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 ...

Avetta, LLC

QA Engineer II

OR · Remote

$80K - $89K/yr

Those outside of commutable distance may be considered on a remote basis. SUMMARY: Avetta's SaaS ... Re-test fixes and verify resolution prior to release. * Execute regression testing across assigned ...

next page

Showing results 1-20

People also search for

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

Remote Formal Verification Engineer information

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 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 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 May 2026, with employment types broken down into 84% Full Time, 8% Part Time, and 8% Contract. Highlights an 100% Remote job distribution.
Senior ASIC Design Verification Engineer

Senior ASIC Design Verification Engineer

Ethernovia, Inc.

Remote

$200K - $300K/yr

Other

Medical, Dental, Vision

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