2

Remote Formal Verification Engineer Jobs in Chicago, IL

Senior Structural Engineer

Chicago, IL · On-site +1

$103K - $140K/yr

Remote options from other US locations may be considered. Compensation Data $140,000 - $180, 000 ... Support site inspections and construction-phase engineering services to verify implementation of ...

Senior Structural Engineer

Lisle, IL · On-site +1

$99K - $134K/yr

Remote options from other US locations may be considered. Compensation Data $140,000 - $180, 000 ... Support site inspections and construction-phase engineering services to verify implementation of ...

Infrastructure Engineer Sr

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 Sr

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 Sr

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 Sr

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 Sr

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 ...

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

Vision Engineer - Remote / Travel DISHER is currently partnering with a world leading automation ... verification signals in application materials based on available information. These tools assist ...

Vision Engineer - Remote / Travel DISHER is currently partnering with a world leading automation ... verification signals in application materials based on available information. These tools assist ...

Guidewire Developer-ClaimCenter

Chicago, IL · On-site +1

$56.25 - $74.25/hr

... TX, Remote-CT, Remote-GA, Remote-IL, Remote-IN, Remote-OH, Remote-PA, Remote-TX, Remote-VA ... Act as a resource for others by sharing deep technical knowledge and context - without formal ...

Guidewire Developer-ClaimCenter

Downers Grove, IL · On-site +1

$54.25 - $71.75/hr

... TX, Remote-CT, Remote-GA, Remote-IL, Remote-IN, Remote-OH, Remote-PA, Remote-TX, Remote-VA ... Act as a resource for others by sharing deep technical knowledge and context - without formal ...

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

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 ...

New

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.

Showing results 41-60

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 Structural Engineer

RINA

Chicago, IL • On-site, Remote

$103K - $140K/yr

Full-time

Medical, Dental, Vision, Life, Retirement, PTO

Re-posted 28 days ago


Job description

RINA is currently recruiting for a Senior Structural Engineer to join its Onshore Structures Engineering Department, working with clients in the chemical, petrochemical and industrial disciplines. This position may work from any of our US offices in IL, TX , OH or MA. Remote options from other US locations may be considered.

Compensation Data

$140,000 - $180, 000 commensurate with experience and education.
Bonus Eligible

Mission

The Senior Structural Engineer supports the design, analysis, and execution of complex structural engineering projects, ensuring technical accuracy, compliance with regulations, and alignment with quality standards. Operating with a high degree of autonomy, this role is responsible for planning and coordinating engineering activities, supervising junior and intermediate staff, and contributing to the successful delivery of projects. The Senior Engineer acts as a technical lead within project teams, providing expertise and coordination under the overall guidance of the Principal Engineer or Engineering Manager.

Key Accountabilities

Technical Execution & Project Support:

  •  Plan and execute advanced structural engineering tasks, including design, analysis, and verification of structural elements, ensuring safety, functionality, and compliance.
  • Support the development of engineering deliverables such as calculation reports, specifications, and construction drawings, ensuring consistency with project requirements and standards
  • Contribute to problem-solving during design and construction phases, proposing technically sound solutions aligned with project constraints.

Team Coordination & Mentorship:

  •  Provide day-to-day technical guidance to junior and intermediate engineers, reviewing their work and supporting their development.
  • Coordinate structural engineering tasks within multidisciplinary project teams under the direction of a Principal Engineer or Project Engineering Manager.
  • Foster knowledge-sharing and support the technical growth of the team through mentoring and coaching.

Quality & Compliance:

  • Ensure that all assigned activities are executed in compliance with internal Quality Management System, regulatory standards, and client requirements.
  • Review technical documentation for accuracy, consistency, and adherence to applicable codes and standards.
  • Contribute to internal reviews and participate in continuous improvement processes related to design quality and delivery.

Client & Stakeholder Interaction:

  • Interface with clients, consultants, and contractors on technical aspects of structural work, under the guidance of senior or principal staff.
  • Participate in meetings, design reviews, and site visits to provide technical input and address project needs.
  • Support the preparation of technical reports and presentations to communicate structural solutions effectively.

Site & Construction Support:

  • Support site inspections and construction-phase engineering services to verify implementation of the design intent
  • Assist in resolving structural issues during construction by providing timely and technically sound responses to contractor inquiries.
  • Contribute to condition assessments and structural evaluations for existing assets where required.
Qualifications
  • Bachelor's degree in Civil or Structural engineering. Master's degree in Structural Engineering preferred.
  • Minimum of 8 years of experience in structural engineering or related fields.
  • Illinois Structural Engineer (SE) license.  Professional Engineering and Structural Engineering licenses in other states are a plus.
  • Experience with structural design, analysis, and project management is essential.
  • Expertise in designing and analyzing structural elements to ensure safety, reliability, and cost-effectiveness.
  • Proficiency in performing structural calculations on pressures, loads, and stresses using industry-standard software and methods. Utilizing RISA, STAAD, SAP2000, Mathcad, AutoCAD, Revit, Bluebeam, and Microsoft Office.
  • Thorough understanding of construction materials and their strengths to appropriately select materials for structural elements.
    Experience in developing engineering studies and analyses relevant to design, verification, and certification of structures and foundations, with the ability to provide technical advice on safe designs and construction practices.
  • Excellent written/oral communication skills
  • Collaborative working style with a solution driven mindset.
  • Ability to work as part of multi-disciplinary project teams and independently manage and assign tasks required to complete structural work in accordance with client requirements

Additional Requirements

  • Valid driver's license with a clean driving record.
  • Ability to pass a background check and applicable drug screening.
  • 10% travel may be required based upon business need.
     

The above statements are intended to describe the general nature of the work being performed. They are not to be construed as an exhaustive list of all responsibilities, duties and skills required. 

#LI-LS1 
  

Competencies
  • WORKPLACE DYNAMICS - Resourcefulness in shaping progress and working efficiently.
  • FORESIGHT & INSIGHT - Context awareness adopting a systemic perspective and informed decision making.
  • PERSONAL EMPOWERMENT - Ownership for life, work and results, striving to grow professionally and personally.
  • INTERPERSONAL INFLUENCE - Skills and strategies we use to interact effectively with others.
  • DOMAIN & BUSINESS ACUMEN - Applying a scientific approach and critical thinking in operations and solution development within area of expertise.

RINA is a multinational company providing a wide range of services in the energy, marine, certification, infrastructure & mobility, industry, research & development sectors. Our business model covers the full process of project development, from concept to completion.

RINA North America provides a comprehensive benefits package, including the following insurance options: Medical, Dental, Vision, Medical Flexible Spending Account, Dependent Care Spending Account, Health Savings Account, Transit, Parking, Basic Life, Basic AD&D, Voluntary Life, Voluntary AD&D, Short-Term Disability, Long-Term Disability, Voluntary Accident, Voluntary Critical Illness, Identity Theft Protection, Pet Insurance, and Employee Assistance Program. Additional benefits provided include paid time off, company holidays, tuition reimbursement, nursery grant, travel resource services, and 401K plan with company  discretionary match.

At RINA, we endeavor to create a work environment where every single person is valued and encouraged to develop new ideas. We provide equal employment opportunities and are committed to creating a workplace where everyone feels respected and safe from discrimination or harassment of any kind. It is the policy of RINA to provide equal employment opportunity to all individuals regardless of their race,  color, religion, sex (including pregnancy) national origin, age, disabilities, marital status, sexual orientation, genetics, military status, disabled veterans, recently separated veterans, other protected veterans (veterans who served during a war or in a campaign or expedition for which a badge has been authorized), and Armed Forces service medal veteran, or any other characteristic protected by state or federal law. We are strongly committed to this policy and believe in the concept and spirit of the law.

RINA does not accept unsolicited resumes from search firms or agencies. Any resume submitted to any employee of RINA without a prior written search agreement will be considered unsolicited and the property of RINA. Please, no phone calls or emails.