ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Illinois

Verify Inc.

Certified Auditor

Chicago, IL · Remote

Conduct on-site and remote audits of suppliers to verify compliance with AS9100 requirements ... Collaborate with internal quality, engineering, and procurement teams. * Support supplier ...

Novolex

Sr. Engineer - Film

Lake Forest, IL · Remote

$103K - $142K/yr

... Remote Company BenefitsWhat You'll Get From UsBenefits With safety as our top priority and a ... Programs include company and industry training curricula, support for formal education through the ...

New

Novolex

Sr. Engineer - Film

Lake Forest, IL · Remote

$103K - $142K/yr

... program. #LI-Remote What You'll Get From UsBenefits With safety as our top priority and a ... Programs include company and industry training curricula, support for formal education through the ...

New

Novolex

Sr. Engineer - Paper

Lake Forest, IL · Remote

$103K - $142K/yr

... Remote Company BenefitsWhat You'll Get From UsBenefits With safety as our top priority and a ... Programs include company and industry training curricula, support for formal education through the ...

New

Novolex

Sr. Engineer - Paper

Lake Forest, IL · Remote

$103K - $142K/yr

... program. #LI-Remote What You'll Get From UsBenefits With safety as our top priority and a ... Programs include company and industry training curricula, support for formal education through the ...

New

Booz Allen Hamilton, Inc.

SailPoint Engineer

IL · On-site +1

$86K - $198K/yr

Remote Work: Hybrid Job Number: R0243102 Location: Scott AFB,IL,US Share job via: Share SailPoint ... You'll use your experience in IAM to design, deploy, and support systems that verify appropriate ...

3coresystems

Senior Azure DevSecOps Engineer

Chicago, IL · Remote

$118K - $161K/yr

Terraform modules, remote state, Azure Provider, CI\/CD integration (5 yrs); Python and Node.js ... integrity verification logs. Write Terraform IaC for all infrastructure - no click\-ops; all ...

Circle

Staff Software Engineer

Chicago, IL · Remote

$195K - $257K/yr

Excellent communication skills, able to collaborate with remote teams, share ideas and present ... Additionally, Circle participates in the E-Verify Program in certain locations, as required by law.

Circle

Senior Software Engineer

Chicago, IL · Remote

$152K - $205K/yr

Excellent communication skills, able to collaborate with remote teams, share ideas and present ... Additionally, Circle participates in the E-Verify Program in certain locations, as required by law.

Oowlish Technology

Senior Data Engineer (Snowflake)

Chicago, IL · On-site +1

$109K - $148K/yr

We offer the convenience of remote work, allowing you to craft a work-life balance that suits your ... verification signals in application materials based on available information. These tools assist ...

Booz Allen Hamilton, Inc.

$61K - $141K/yr

Remote Work: No Job Number: R0245880 Location: O'Fallon,IL,US Share job via: Share Data Engineer ... We reserve the right to take your picture to verify your identity and prevent fraud. Candidate AI ...

Tempus

Senior Quality Engineer

Chicago, IL · On-site +1

Lead verification, validation and maintenance of host systems supporting Tempus Medical Device(s ... Additionally, for remote roles open to individuals in unincorporated Los Angeles - including remote ...

Booz Allen Hamilton, Inc.

SailPoint Engineer, Senior

IL · On-site +1

$86K - $198K/yr

Remote Work: Hybrid Job Number: R0243099 Location: Scott AFB,IL,US Share job via: Share SailPoint ... You'll use your experience in IAM to design, deploy, and support systems that verify appropriate ...

Lochner

Drainage Engineer - Chicago, IL

Chicago, IL · On-site +1

Flexible Work Schedules (Hybrid or Remote, when possible) * Wellness Program for Physical and ... Background checks include SSN/SIN validation, motor vehicle verification, education verification ...

previous page

Showing results 41-60

All JobsFormal Verification Engineer JobsRemote Formal Verification Engineer JobsRemote Formal Verification Engineer Jobs in Illinois

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 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 are the most commonly searched types of Formal Verification Engineer jobs in Illinois? The most popular types of Formal Verification Engineer jobs in Illinois are:
What are popular job titles related to Remote Formal Verification Engineer jobs in Illinois? For Remote Formal Verification Engineer jobs in Illinois, the most frequently searched job titles are:
What job categories do people searching Remote Formal Verification Engineer jobs in Illinois look for? The top searched job categories for Remote Formal Verification Engineer jobs in Illinois are:
What cities in Illinois are hiring for Remote Formal Verification Engineer jobs? Cities in Illinois with the most Remote Formal Verification Engineer job openings:
Remote Formal Verification Engineer jobs near you

Certified Auditor

Verify Inc.

Chicago, IL • Remote

Part-time

Posted 28 days ago

Job description

Overview

Job Summary:The AS9100 Supplier Auditor is responsible for evaluating and auditing supplier quality management systems to ensure compliance with AS9100 standards, customer requirements, and regulatory expectations. This role focuses on supplier performance, process effectiveness, and risk mitigation within the aerospace supply chain.

Key Responsibilities:
  • Conduct on-site and remote audits of suppliers to verify compliance with AS9100 requirements.
  • Evaluate supplier quality systems, manufacturing processes, and inspection methods.
  • Assess compliance with customer-specific requirements (e.g., flow-down requirements).
  • Identify non-conformances, risks, and gaps; document findings and issue audit reports.
  • Lead or support corrective action requests (CARs) and verify effectiveness of corrective actions.
  • Perform supplier qualification, surveillance, and re-evaluation audits.
  • Monitor supplier performance metrics (quality, delivery, and responsiveness).
  • Ensure compliance with regulatory and industry standards (FAA, NADCAP where applicable).
  • Collaborate with internal quality, engineering, and procurement teams.
  • Support supplier development and continuous improvement initiatives.
Qualifications:
  • High school diploma required; Bachelor's degree in Engineering, Quality, or related field preferred.
  • 3-5+ years of experience in aerospace quality, supplier quality, or auditing.
  • Strong working knowledge of AS9100 and quality management systems.
  • Experience conducting supplier audits and managing corrective actions.
  • Proficiency in blueprint reading, GD&T, and inspection processes.
  • Strong understanding of manufacturing processes and special processes.
  • Excellent analytical, communication, and reporting skills.
Preferred Skills:
  • Lead Auditor certification (e.g., AS9100 Lead Auditor or ASQ Certified Quality Auditor).
  • Familiarity with NADCAP requirements and audits.
  • Experience with PPAP, SPC, and Root Cause Corrective Action (RCCA).
  • Knowledge of ERP systems (e.g., SAP) and supplier portals.
  • Experience with risk-based auditing and process-based auditing techniques.
ResponsibilitiesKey Responsibilities:
  • Conduct on-site and remote audits of suppliers to verify compliance with AS9100 requirements.
  • Evaluate supplier quality systems, manufacturing processes, and inspection methods.
  • Assess compliance with customer-specific requirements (e.g., flow-down requirements).
  • Identify non-conformances, risks, and gaps; document findings and issue audit reports.
  • Lead or support corrective action requests (CARs) and verify effectiveness of corrective actions.
  • Perform supplier qualification, surveillance, and re-evaluation audits.
  • Monitor supplier performance metrics (quality, delivery, and responsiveness).
  • Ensure compliance with regulatory and industry standards (FAA, NADCAP where applicable).
  • Collaborate with internal quality, engineering, and procurement teams.
  • Support supplier development and continuous improvement initiatives.
QualificationsQualifications:
  • High school diploma required; Bachelor's degree in Engineering, Quality, or related field preferred.
  • 3-5+ years of experience in aerospace quality, supplier quality, or auditing.
  • Strong working knowledge of AS9100 and quality management systems.
  • Experience conducting supplier audits and managing corrective actions.
  • Proficiency in blueprint reading, GD&T, and inspection processes.
  • Strong understanding of manufacturing processes and special processes.
  • Excellent analytical, communication, and reporting skills.
Preferred Skills:
  • Lead Auditor certification (e.g., AS9100 Lead Auditor or ASQ Certified Quality Auditor).
  • Familiarity with NADCAP requirements and audits.
  • Experience with PPAP, SPC, and Root Cause Corrective Action (RCCA).
  • Knowledge of ERP systems (e.g., SAP) and supplier portals.
  • Experience with risk-based auditing and process-based auditing techniques.
Employment Type: PART_TIME

Apply