2

Remote Formal Verification Engineer Jobs in Portland, OR

Senior Product Manager

Beaverton, OR · Remote

$145K - $170K/yr

Focused on sprint management, backlog ownership, or engineering execution * Client-facing in terms ... In compliance with federal law, all persons hired will be required to verify identity and ...

Showing results 41-44

Remote Formal Verification Engineer information

See Portland, OR salary details

$84.8K

$151.2K

$215.8K

How much do remote formal verification engineer jobs pay per year?

As of Aug 2, 2026, the average yearly pay for remote formal verification engineer in Portland, OR is $151,249.00, according to ZipRecruiter salary data. Most workers in this role earn between $144,200.00 and $144,200.00 per year, depending on experience, location, and employer.

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 popular job titles related to Remote Formal Verification Engineer jobs in Portland, OR? For Remote Formal Verification Engineer jobs in Portland, OR, the most frequently searched job titles are:
What job categories do people searching Remote Formal Verification Engineer jobs in Portland, OR look for? The top searched job categories for Remote Formal Verification Engineer jobs in Portland, OR are:
Infographic showing various Remote Formal Verification Engineer job openings in Portland, OR as of July 2026, with employment types broken down into 80% Full Time, 10% Part Time, and 10% Contract. Highlights an 100% Remote job distribution, with an average salary of $151,249 per year, or $72.7 per hour.

Part-time Cybersecurity Professor - Continuous Pool

Clark College

Vancouver, WA • On-site, Remote

$95.60/hr

Part-time

Re-posted 8 hours ago


Job description

Salary: $95.60 Hourly
Location : Clark College Main Campus, Vancouver, WA
Job Type: PT Faculty
Remote Employment: Flexible/Hybrid
Job Number: 23-00122
Unit: Workforce, Professional and Technical Education & STEM
Department: BAS in Cybersecurity
Opening Date: 11/16/2023
Closing Date: Continuous
Description
Can you create and maintain a welcoming and supportive environment with students of diverse multicultural, socioeconomic and academic backgrounds? Are you eager to work collaboratively to find innovative ways to improve student success? If these questions resonate with you, then we invite you to consider joining our Workforce, Professional and Technical Education & STEM (WPTE & STEM) department. We value collaboration and are dedicated to guiding students towards the achievement of their academic and career goals.
Clark College is currently seeking to fill part-time Cybersecurity Professor positions. These positions have an opportunity for a hybrid schedule with the option of a combination of two days worked from home and three days worked on campus.
These Professors are responsible to teach a variety of introductory and foundational courses in one or more of the following topics:
  • Python programming, for students new to programming
  • CompTIA Network+
  • CompTIA Security+
  • IoT, especially breadboard, sensors, Raspberry Pi/Arduino
  • Big data analytics (Hadoop, AWS)
  • CompTIA PenTest+
  • CompTIA CySA+
This part-time position is an ongoing recruitment in which applications are collected year-round. Applicants must be available to teach the daytime, evening or weekend hours. Positions will be filled as program needs arise.
This is a part-time faculty position and is not eligible for employer-sponsored benefits.
At Clark, we value equity, diversity and inclusion. We are committed to growing, learning, and supporting our employees.
Position Responsibilities
GENERAL FACULTY RESPONSIBILITIES:
  • Instruct classes utilizing techniques and knowledge of the discipline that facilitate student learning.
  • Participate in decision-making processes by taking part in department and college committees.
  • Pursue professional development.
  • Strive to enhance teaching and learning techniques.
  • Work well with people of all ages from academically, culturally, and socioeconomically diverse backgrounds.
  • Understand and commit to the mission of Clark College.

Qualifications
MINIMUM QUALIFICATIONS AND COMPETENCIES:
  • Associates degree in Cybersecurity or a closely related field.
  • Three (3) years of professional IT/IS experience directly related to the teaching assignment.
  • Teaching experience.
  • Current industry certifications (CompTIA, CISSP) that are directly related to the topics of the course(s) being taught.
  • Ability to communicate effectively, both orally and written.
  • Ability to work well with people of all ages from academically, culturally, and socioeconomically diverse backgrounds.

Supplemental Information
SALARY STATEMENT: Lecture rate is $95.60/hour, and lab rate is $81.66/hour.
APPLICATION PROCESS
Required Online Application Materials:
  • Clark College Online Application, including names of three (3) references.
  • Cover letter addressing experience and qualifications for the position.
  • Current résumé.
  • Responses to the supplemental questions included in the online application.
Please apply online at www.clark.edu/jobs.
To contact Clark College Office of People and Culture, please call (360) 992-2105 or email .
CONDITION OF EMPLOYMENT:
Prior to a new hire, a background check including criminal record history will be conducted which includes a sexual misconduct background check as required under . Information from the background check will not necessarily preclude employment but will be considered in determining the applicant's suitability and competence to perform in the position. Completion of academic degrees will also be verified through receipt of official transcripts. Please note that upon being hired, Washington Administrative Code (WAC) and the State Board of Community and Technical Colleges (SBCTC) require a Vocational Certification plan be in place prior to the first day of classes. Under the standard specified in WAC 131-16-070 through 131-16-094 Vocational Certification is a condition of continued employment for all professional technical education personnel.
Clark College does not currently sponsor H-1B visas.
DISABILITY ACCOMMODATIONS
Upon request, accommodations are available to persons with disabilities for the application process. Contact the Office of People and Culture at (360) 992-2105 or by video phone at (360) 991-0901.
SECURITY
The security of all the members of the campus community is of vital concern to Clark College. Information regarding crime prevention advice, the authority of the Security/Safety Department, policies concerning reporting of any crimes which may occur on or near college property, and crime statistics for the most recent 3-year period may be requested from the Clark College Security/Safety Department, (360) 992-2133 or . The most recent Annual Security Report, written in compliance with the Clery Act, can be reviewed here: .
ELIGIBILITY VERIFICATION
If you are hired, you will need proof of identity, and documentation of U.S. citizenship or legal authorization to work.
CORRECTIONS OR EXTENDED NOTICES
Corrected or extended notices will be posted online.
Clark College's Office of People and Culture supports individuals with their academic, personal, and professional development, as well as provides training and educational resources for all members of the college community around diversity, inclusion, power, privilege, inequity, social equity, and social justice. The college offers further professional development for our employees through opportunities such as Employee Resource Groups, Cross Institution Faculty of Color Mentorship program, and Faculty and Staff of Color Conference.
The Office of People and Culture aims to support and elevate the college community by embedding equity and continuous growth into every aspect of people's practices - from recruitment and onboarding to learning, well-being, and community partnerships.
Clark College values diversity and is an Equal Opportunity Employer and Educator. Protected group members are strongly encouraged to apply. Clark College provides equal opportunity in education and employment and does not discriminate on the basis of race, color, national origin, age, disability, genetic information, sex, sexual orientation, marital status, creed, religion, honorably discharged veteran or military status, citizenship, immigration status or use of a trained guide dog or service animal. Prohibited sex discrimination includes sexual harassment (unwelcome sexual conduct of various types). The college considers equal opportunity, affirmative action, and non-discrimination to be fundamental to the mission, vision and values of the college. All faculty and staff hired at Clark College are encouraged to embrace, continually support and enhance social equity on our campus and in our community. The college provides reasonable accommodations for qualified students, employees, and applicants with disabilities in accordance with the Americans with Disabilities Act and Federal Rehabilitation Act. The following person has been designated to handle inquiries regarding non-discrimination policies, Title II and Title IX, and Affirmative Action: Thao Schmidt, Interim Associate Vice President, 360-992-2628, , 1933 Fort Vancouver Way, Baird 142, Vancouver, Washington 98663. Clark College is a smoke-free/drug free environment. This recruitment announcement does not reflect the entire job description and can be changed and or modified without notice.
Clark College Office of People and Culture
July 2, 2026 (updated)
23-00122
This position is not eligible for benefits.
01
Where did you first hear about this opportunity?
  • Clark College Website
  • Career Fair
  • Chronicle for Higher Education
  • Craigslist
  • DiversityJobs.com (Circa)
  • Find.jobs
  • Greater Vancouver Chamber
  • HigherEdJobs.com
  • Indeed.com
  • Local Media (Oregonian, OregonLive, Columbian, etc.)
  • PinkJobs
  • Portland Observer
  • The Skanner
  • Social Media (Facebook, LinkedIn, Twitter, etc.)
  • United Latino Job Bank
  • Urban League of PDX
  • WorkSource
  • Other (Job Interest Card, State Job Board, Word of Mouth, etc.)

02
Do you have a degree in Cybersecurity or related field?
  • Yes, I have a degree in Cybersecurity.
  • Yes, I have a degree in a related field.
  • No, I do not have a degree.

03
Do you have experience teaching?
  • Yes
  • No

04
Do you have a current industry certification (CompTIA, CISSP, etc.) related to the course being taught?
  • Yes
  • No

05
Please provide the following information regarding your certification(s) in the box below:Certification (CompTIA, CISSP, etc.): Certification Number:Expiration Date:If you do not have a certification, please type n/a.
06
Please describe how you have implemented practices and/or participated in initiatives that promote racial and cultural equity.
07
A resume is required to be submitted for this position. Have you included your resume in this online application? If not, your application will be considered incomplete.
  • Yes
  • No

08
A cover letter describing background and experience related to the qualifications and responsibilities of the position is required. Have you attached this document to your application? If not, your application will be considered incomplete.
  • Yes
  • No

09
A a copy of your industry certification(s) is required to be submitted for this position. Have you uploaded a copy as part of your online application? If not, your application will be considered incomplete.
  • Yes
  • No

10
To meet accreditation standards, Clark College requires official transcripts of the required degree for the specific position you are hired for, to be provided by the first date of hireIf I were to be offered this position, I understand this requirement and am willing and able to comply. I recognize that if I do not have transcripts by the starting date, I will not be able to start working.
  • Yes
  • No

11
Official transcripts/certifications are required by date of hire. How will you submit these transcripts?
  • With my online application
  • By fax
  • In Person to the Human Resources Office
  • Mail hard copies to the Human Resources Office
  • I am an internal applicant giving permission to copy the transcripts on file

Required Question