ZipRecruiter

Log In

2

Remote Formal Verification Jobs in Chicago, IL (NOW HIRING)

Stryker

Salesforce Software Engineer (Remote)

Chicago, IL · On-site +1

$133K - $222K/yr

Coordinate QA and UAT testing activities to verify and validate new functionality before release ... a formal complaint or charge, (b) in furtherance of an investigation, proceeding, hearing, or ...

New

Crowe LLP

Lead Tax Services Senior Manager

Chicago, IL · On-site +1

$127K - $269K/yr

Mentor and develop staff and managers, providing regular feedback and conducting both formal and ... In compliance with federal law, all persons hired will be required to verify identity and ...

NTT DATA Services

ERP Specialist Advisor

Oak Brook, IL · On-site +1

... verification/recommendation activities for HANA on Azure Preferred/Nice to Have * Formal Azure ... While many positions offer remote or hybrid work options, these arrangements are subject to change ...

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

Remote Formal Verification information

See Chicago, IL salary details

$12

$21

$41

How much do remote formal verification jobs pay per hour?

As of Aug 22, 2026, the average hourly pay for remote formal verification in Chicago, IL is $21.32, according to ZipRecruiter salary data. Most workers in this role earn between $15.87 and $22.55 per hour, depending on experience, location, and employer.

What is remote formal verification?

Remote formal verification refers to the process of using mathematical techniques and specialized software tools to rigorously prove the correctness of hardware or software systems, typically while working from a remote location. Unlike traditional testing, formal verification provides guarantees about system behavior by checking against formal specifications. Professionals in this field often collaborate with teams online, review code or hardware designs, and use tools such as model checkers or theorem provers to identify and eliminate potential errors before deployment.

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 expertise in digital design, formal methods, and verification methodologies, usually supported by a degree in electrical engineering, computer engineering, or computer science. Familiarity with formal verification tools like JasperGold, Questa Formal, or OneSpin, and proficiency in hardware description languages (HDLs) such as Verilog or VHDL are critical. Strong analytical thinking, attention to detail, and clear communication are standout soft skills, especially when collaborating remotely with global teams. These skills and qualifications are essential to ensure that complex hardware designs are reliable, bug-free, and meet stringent industry standards.

What are some common challenges faced by remote formal verification engineers, and how can they be addressed?

Remote formal verification engineers often face challenges related to effective collaboration and communication, as formal verification requires close coordination with design and verification teams. Working across time zones and relying on digital tools can make it harder to quickly resolve ambiguities in specifications or debug issues. To address these challenges, it’s essential to establish clear documentation practices, schedule regular video meetings, and actively participate in code reviews and knowledge-sharing sessions. Leveraging collaborative platforms and maintaining open communication channels can help mitigate the impact of physical distance and ensure project goals are met efficiently.

What is the difference between Remote Formal Verification vs Remote Hardware Verification?

AspectRemote Formal VerificationRemote Hardware Verification
CredentialsTypically requires degrees in Computer Science or Electrical Engineering, plus certifications in formal methodsRequires degrees in Electrical Engineering, Computer Engineering, or related fields; certifications may include FPGA or ASIC design
Work EnvironmentPrimarily focused on software tools, modeling, and mathematical proofs, often in a remote settingInvolves testing and validation of hardware prototypes or designs, often in labs or remotely via simulation tools
Industry UsageUsed in semiconductor, aerospace, and safety-critical software industriesCommon in semiconductor, electronics manufacturing, and embedded systems industries

Remote Formal Verification focuses on mathematically proving the correctness of hardware or software designs using formal methods, often in a software-centric environment. Remote Hardware Verification involves testing physical hardware or simulations to ensure hardware functions correctly. Both roles require technical expertise but differ in their focus on software proofs versus hardware testing.

What are the most commonly searched types of Formal Verification jobs in Chicago, IL?

The most popular types of Formal Verification jobs in Chicago, IL are:

What are popular job titles related to Remote Formal Verification jobs in Chicago, IL?

For Remote Formal Verification jobs in Chicago, IL, the most frequently searched job titles are:

What job categories do people searching Remote Formal Verification jobs in Chicago, IL look for?

The top searched job categories for Remote Formal Verification jobs in Chicago, IL are:

What cities near Chicago, IL are hiring for Remote Formal Verification jobs?

Cities near Chicago, IL with the most Remote Formal Verification job openings:

Remote Formal Verification jobs near you
Infographic showing various Remote Formal Verification job openings in Chicago, IL as of August 2026, with employment types broken down into 1% As Needed, 81% Full Time, 14% Part Time, 3% Contract, and 1% Nights. Highlights an 89% Physical, 3% Hybrid, and 8% Remote job distribution, with an average salary of $44,348 per year, or $21.3 per hour.

Salesforce Software Engineer (Remote)

Stryker

Chicago, IL • On-site, Remote

$133K - $222K/yr

Full-time

Posted yesterday

New

Stryker rating

8.2

Company rating: 8.2 out of 10

Based on 112 frontline employees who took The Breakroom Quiz

131st of 494 rated machine equipment manufacturers

Job description

Work Flexibility: Remote

As a Salesforce Software Engineer, you will play a key role in shaping how our U.S. commercial organization leverages Salesforce to manage accounts, strengthen customer relationships, and drive growth. You'll partner cross-functionally to design, develop, and maintain Salesforce-driven solutions, while writing high-quality code that enhances our selling capabilities and elevates the customer experience.

What You Will Do

  • Partner with Customer Solutions teams to translate business needs into Salesforce and Oracle CPQ based solutions that improve account management and customer engagement.
  • Writing, developing, and maintaining production-level code to build scalable Salesforce and Oracle CPQ software solutions and integrations.
  • Conduct root cause analysis on user reported issues and implement timely, scalable resolutions.
  • Analyze requirements for new features and document technical specifications to support development and governance.
  • Design, develop, and maintain custom software, database components, and automated testing code to support platform stability and code coverage goals.
  • Manage system changes through source code repositories, ensuring accurate version control and production ready deployments.
  • Coordinate QA and UAT testing activities to verify and validate new functionality before release.
  • Collaborate with Release Management, Technical Governance, and Change Advisory teams to ensure all solutions meet organizational, regulatory, and security standards.
  • Build strong working relationships with business stakeholders to understand core processes, drive adoption, and enhance solution effectiveness.

What You Need

Required

  • Bachelor's degree in Computer Science, Engineering, Information Systems, or a related field.
  • Minimum 4 years of Software Engineering experience.
  • Minimum 2 years of Salesforce development experience.
  • Hands-on experience writing, testing, debugging, and maintaining production-level code using Apex and Salesforce Lightning Web Components (LWC).
  • Strong understanding of object-oriented programming principles and proficiency in Apex and/or another object-oriented programming language such as C, C#, Java, or JavaScript.
  • Experience with Salesforce development, integrations, APIs, source control, automated testing, and production deployments.
  • Ability to translate business requirements into scalable technical solutions.

Preferred

  • Experience with cloud based or enterprise SaaS software development.
  • Experience with Oracle CPQ languages, such as BML and XSLT.
  • Salesforce Certified Platform Developer I (PDI) or Salesforce Certified Platform Developer II (PDII) certifications.
  • Salesforce Administrator Certification.

United States of America Pay Ranges:

  • USN: $102,600 - $171,000 USD Annual
  • US5: $107,700 - $179,600 USD Annual
  • US10: $112,900 - $188,100 USD Annual
  • US15: $118,000 - $196,600 USD Annual
  • US20: $123,100 - $205,200 USD Annual
  • US30: $133,400 - $222,300 USD Annual
View the U.S. work location and transparency guide to find the pay range for your location.

Travel Percentage: 10%Stryker Corporation is an equal opportunity employer. Qualified applicants will receive consideration for employment without regard to race, ethnicity, color, religion, sex, gender identity, sexual orientation, national origin, disability, or protected veteran status. Stryker is an EO employer - M/F/Veteran/Disability.Stryker Corporation will not discharge or in any other manner discriminate against employees or applicants because they have inquired about, discussed, or disclosed their own pay or the pay of another employee or applicant. However, employees who have access to the compensation information of other employees or applicants as a part of their essential job functions cannot disclose the pay of other employees or applicants to individuals who do not otherwise have access to compensation information, unless the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of an investigation, proceeding, hearing, or action, including an investigation conducted by the employer, or (c) consistent with the contractor's legal duty to furnish information.

What Stryker employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom

Apply