ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Chicago, IL

Culligan

Senior Sales Engineer

Libertyville, IL · On-site +1

$150K/yr

Libertyville, IL - Remote Description: We are seeking a highly motivated Sales Engineer (Chemical ... RFIs, and prepare formal submittals. § Maintain accurate CRM data, forecasts, and customer ...

Culligan

Senior Sales Engineer

Mundelein, IL · On-site +1

$150K/yr

Libertyville, IL - Remote Description: We are seeking a highly motivated Sales Engineer (Chemical ... RFIs, and prepare formal submittals. § Maintain accurate CRM data, forecasts, and customer ...

System One

Substation Design Engineer

Chicago, IL · Remote

$100K - $128K/yr

Hybrid/Remote Substation Electrical Engineer - Grid Mid to Senior Level | Electrical Power ... Support field verification, construction coordination, and site walkdowns as required * Apply ...

System One

Substation Design Engineer

Chicago, IL · Remote

$100K - $128K/yr

Hybrid/Remote Substation Electrical Engineer - Grid Mid to Senior Level | Electrical Power ... Support field verification, construction coordination, and site walkdowns as required * Apply ...

Culligan

Senior Sales Engineer

Libertyville, IL · On-site +1

$18.70 - $38.70/hr

Libertyville, IL - Remote Description: We are seeking a highly motivated Sales Engineer (Chemical ... RFIs, and prepare formal submittals. § Maintain accurate CRM data, forecasts, and customer ...

Inspira Financial

Sr. Software Engineer (Remote)

Oak Brook, IL · On-site +1

$123K - $163K/yr

... formal technical assessment to validate coding proficiency and technical competency. Education ... Strong Programming Skills: Required proficiency in developing .NET C# and VB console applications ...

Inspira Financial

Sr. Software Engineer (Remote)

Oak Brook, IL · Remote

$123K - $163K/yr

... formal technical assessment to validate coding proficiency and technical competency. Education ... Strong Programming Skills: Required proficiency in developing .NET C# and VB console applications ...

previous pagenext page

Showing results 21-40

All JobsFormal Verification Engineer JobsRemote Formal Verification Engineer JobsRemote Formal Verification Engineer Jobs in Chicago, IL

Remote Formal Verification Engineer information

See Chicago, IL salary details

$82.4K

$146.9K

$209.6K

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

As of Aug 7, 2026, the average yearly pay for remote formal verification engineer in Chicago, IL is $146,919.00, according to ZipRecruiter salary data. Most workers in this role earn between $140,100.00 and $140,100.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 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 popular job titles related to Remote Formal Verification Engineer jobs in Chicago, IL? For Remote Formal Verification Engineer jobs in Chicago, IL, the most frequently searched job titles are:
What job categories do people searching Remote Formal Verification Engineer jobs in Chicago, IL look for? The top searched job categories for Remote Formal Verification Engineer jobs in Chicago, IL are:
What cities near Chicago, IL are hiring for Remote Formal Verification Engineer jobs? Cities near Chicago, IL with the most Remote Formal Verification Engineer job openings:
Remote Formal Verification Engineer jobs near you

Azure DevOps Engineer (Remote)

Inspira Financial

Oak Brook, IL • Remote

$53.25 - $73/hr

Full-time

Re-posted 23 days ago

Inspira Financial rating

7.6

Company rating: 7.6 out of 10

Based on 21 frontline employees who took The Breakroom Quiz

Job description

We are seeking a highly skilled Azure DevOps Engineer II to extend and maintain existing and develop new pipelines for our Inspira IRA Platform. In your role, you will play a crucial role in ensuring the continuous delivery of our software products and services to our clients and internal stakeholders. As an Azure DevOps Engineer, you will be responsible for the successful implementation of complex technical initiatives, coordinating cross-functional teams, and ensuring alignment with business goals and objectives. The ideal candidate has a strong technical background, hands-on experience with DevOps tools, excellent communication skills, and a proven track record of building and delivering large-scale DevOps projects.

Duties and Responsibilities

  • Deep experience in Azure Cloud, Azure Kubernetes Service (AKS), Azure DevOps (ADO) pipelines, Azure Monitor, Log Analytics, and Application Insight.
  • Deploy and manage containerized applications on Azure Kubernetes Service (AKS) using Helm charts, implementing GitOps workflows with Flux CD.
  • Architect and optimize Azure DevOps CI/CD pipelines for micro services deployments.
  • Collaborate with cloud and delivery teams to influence technical decisions and align them with business goals.
  • Identify and implement improvements to enhance the scalability, reliability, and efficiency of Azure DevOps pipeline.
  • Ensure software deployment and management are secure, reliable, and compliant with industry standards and best practices.
  • Document application releases comprehensively, including configuration and content details.
  • Demonstrate expertise in configuring, testing, and delivering core systems on Azure, ensuring they meet performance and reliability standards.
  • Deliver configuration as code for reproducibility and scalability.
  • Adapt working style to support teammates, practice active listening, and offer help when needed.
  • Monitor system performance and troubleshoot issues proactively on Azure, ensuring minimal downtime and optimal performance.
  • Stay updated on the latest Azure DevOps trends, technologies, and best practices to continually improve.

Additional Interview Requirements:

As part of the evaluation process, candidates who progress beyond the initial screening will be required to complete a formal technical assessment to validate coding proficiency and technical competency.

Education & Experience

  • 3-5+ years of experience as an Azure and Microsoft centric DevOps engineer or related role
  • Professional and empathetic in client interactions, focusing on understanding and promoting client interests
  • Strong experience with Azure cloud platforms, ADO pipelines, Flux CD, Helm, Kubernetes, Docker, Terraform, and Ansible
  • Proficiency with containerization and orchestration technologies like Docker and Kubernetes (AKS)
  • Experience with databases, secrets, and storage services and other cloud engineering automation tools
  • Take full ownership of tasks, ensure completion, and manage time responsibly
  • Strong problem-solving and troubleshooting skills
  • Experience with monitoring and logging tools such as Azure Monitor, Log Analytics, Data Dog, and Application Insights
  • Excellent communication and interpersonal skills, including the ability to drive continuous improvement in the DevOps community of practice

Other Requirements:

  • Infrequent travel (Less than 5%)
  • Ability to provide personal transportation and work overtime
  • Prolonged periods of sitting at a desk and working on a computer

What Inspira Financial employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom

Apply