2

Remote Formal Verification Engineer Jobs in Chicago, IL

Sr Infrastructure Engineer

Itasca, IL ยท Remote

$111K - $151K/yr

Team members are expected to operate within formal change, incident, and access management processes, collaborate closely with engineering teams, vendors, and remote hands, and use standard tooling ...

Sr Infrastructure Engineer

Itasca, IL ยท Remote

$111K - $151K/yr

Team members are expected to operate within formal change, incident, and access management processes, collaborate closely with engineering teams, vendors, and remote hands, and use standard tooling ...

Sr Infrastructure Engineer

Itasca, IL ยท Remote

$111K - $151K/yr

Team members are expected to operate within formal change, incident, and access management processes, collaborate closely with engineering teams, vendors, and remote hands, and use standard tooling ...

Sr Infrastructure Engineer

Itasca, IL ยท Remote

$111K - $151K/yr

Team members are expected to operate within formal change, incident, and access management processes, collaborate closely with engineering teams, vendors, and remote hands, and use standard tooling ...

Infrastructure Engineer

Itasca, IL ยท Remote

$110K - $144K/yr

Team members are expected to operate within formal change, incident, and access management processes, collaborate closely with engineering teams, vendors, and remote hands, and use standard tooling ...

Infrastructure Engineer

Itasca, IL ยท Remote

$110K - $144K/yr

Team members are expected to operate within formal change, incident, and access management processes, collaborate closely with engineering teams, vendors, and remote hands, and use standard tooling ...

Infrastructure Engineer

Itasca, IL ยท Remote

$110K - $144K/yr

Team members are expected to operate within formal change, incident, and access management processes, collaborate closely with engineering teams, vendors, and remote hands, and use standard tooling ...

Infrastructure Engineer

Itasca, IL ยท Remote

$110K - $144K/yr

Team members are expected to operate within formal change, incident, and access management processes, collaborate closely with engineering teams, vendors, and remote hands, and use standard tooling ...

Infrastructure Engineer

Itasca, IL ยท Remote

$110K - $144K/yr

Team members are expected to operate within formal change, incident, and access management processes, collaborate closely with engineering teams, vendors, and remote hands, and use standard tooling ...

Infrastructure Engineer

Itasca, IL ยท Remote

$110K - $144K/yr

Team members are expected to operate within formal change, incident, and access management processes, collaborate closely with engineering teams, vendors, and remote hands, and use standard tooling ...

Infrastructure Engineer

Itasca, IL ยท Remote

$110K - $144K/yr

Team members are expected to operate within formal change, incident, and access management processes, collaborate closely with engineering teams, vendors, and remote hands, and use standard tooling ...

Infrastructure Engineer

Itasca, IL ยท Remote

$110K - $144K/yr

Team members are expected to operate within formal change, incident, and access management processes, collaborate closely with engineering teams, vendors, and remote hands, and use standard tooling ...

Energy Engineer

Chicago, IL ยท On-site +1

This position may be remote, with a preferred location in Illinois, Iowa, Massachusetts, New Jersey ... Conduct measurement and verification activities to establish facility operating conditions, confirm ...

This position may be remote, with a preferred location in Illinois, Iowa, Massachusetts, New Jersey ... Conduct measurement and verification activities to establish facility operating conditions, confirm ...

next page

Showing results 1-20

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:

Senior Software Engineer (Remote, EST/CST)

180 Engineering

Chicago, IL โ€ข Remote

$100K - $125K/yr

Full-time

Medical, Dental, Retirement

Posted 8 days ago


Job description

Direct Hire |Remote (Continental U.S., EST or CST) Salary Range: $100,000 to $125,000, bonus eligible. Individual compensation is based on education, geographic location, and alignment to market data. About the Role Seeking a Senior Software Engineer to support the design, documentation, development, and testing of new and existing software solutions within a Digital Workflow Solutions business unit. You will analyze product and system-level requirements, translate them into software requirements, and lead deployment and delivery of specific software features and functionality. This role focuses on developing commercial software products sold directly to external customers. This is not an internal IT position . You will collaborate with cross-functional teams to deliver new features, ensure application performance, and mentor junior engineers. Remote within the Continental United States, with preference for candidates in Eastern or Central time zones. Responsibilities Contribute to cross-functional project planning, development, and analysis of product requirements and proposed solutions Refine and refactor software design based on system architecture and new product requirements Design, document, implement, and maintain efficient, reusable, secure, and reliable software code according to corporate and department standards Maintain code quality, organization, and automation standards Create software development process documentation including requirements, design specifications, interface specifications, and verification documentation Develop time and effort estimates for software features and functions Develop and perform unit, integration, and system testing of applications Participate in design reviews to identify issues and provide recommendations for enhancements Work independently on routine activities, technical issues, project plans, and larger-scale designs Identify bottlenecks and software bugs and devise solutions to resolve them Review and resolve software defect and change requests Review and approve plans and detailed software designs Requirements Required Bachelor's degree in Computer Science, Engineering, or related field 5+ years of experience developing commercial software products sold to external businesses (B2B) 5+ years of experience designing and developing software systems for web, mobile, cloud (Azure), and desktop environments 5+ years of experience with C# / .NET / Microsoft Full Stack development Strong understanding of software development principles and design patterns Experience with Agile development methodologies Experience with Git or DevOps version control tools Experience with configuration management, continuous integration (CI), continuous deployment (CD), and automated code analysis tools desired Preferred Experience with containerization tools Familiarity with cloud platforms such as AWS, Azure, or Google Cloud Residence in Eastern or Central time zones Other Excellent problem-solving skills and attention to detail Strong communication and teamwork abilities Working knowledge of MFC, Java, and React Medical and Dental insurance, eligible on first day of employment 401K after 6 months of employment As part of our standard hiring process, final candidates complete a brief identity verification step. This includes a short video confirmation to ensure consistency across the interview process. #J-18808-Ljbffr