ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Roxana, IL

Workforce Connections

Lead QA Engineer

Saint Louis, MO · Remote

$50 - $55/hr

Remote - USA Preferred Locations: Missouri, Texas, Florida, Minnesota, Illinois, Georgia, South ... Analyze test results, document defects, and verify resolutions * Integrate automated test suites ...

CannonDesign

Project Electrical Engineer V

Saint Louis, MO · On-site +1

$121.17K - $151.41K/yr

This role is remote within the U.S., with a preference for candidates located in or near: Arlington ... Conduct job site visits to verify existing conditions and observe construction progress. Attend and ...

Leidos

Energy Engineer

Collinsville, IL · Remote

$50.70K - $91.65K/yr

This position is fully remote. Ameren Illinois and Leidos believe it is very important to provide ... Utilize independent judgment to verify technical requirements are met throughout various energy ...

CannonDesign

Mechanical III

Saint Louis, MO · On-site +1

$76.19K - $95.19K/yr

This role is remote within the U.S., with a preference for candidates located in or near: Arlington ... Complex projects could be under the supervision of a professional engineer. As necessary assist ...

CannonDesign

Project Mechanical IV

Saint Louis, MO · On-site +1

$91.39K - $114.29K/yr

This role is remote within the U.S., with a preference for candidates located in or near: Arlington ... Oversee the use of engineering complexities related to the use Energy Model software. Prepare Revit ...

Maximus

System Test Engineer

Edwardsville, IL · Remote

This position is remote and requires an active Secret clearance or higher. Maximus TCS (Technology ... verification activities - Performs manual and automated testing including unit, integration ...

Maximus

System Test Engineer

Saint Louis, MO · Remote

This position is remote and requires an active Secret clearance or higher. Maximus TCS (Technology ... verification activities - Performs manual and automated testing including unit, integration ...

Maximus

AI/ML Software Developer

Saint Louis, MO · Remote

This position is remote and requires a Secret security clearance. Maximus TCS (Technology and ... verify system operability and compliance with project standards and requirements. - 3 years of ...

Maximus

AI/ML Software Developer

Edwardsville, IL · Remote

This position is remote and requires a Secret security clearance. Maximus TCS (Technology and ... verify system operability and compliance with project standards and requirements. - 3 years of ...

New

next page

Showing results 1-20

People also search for

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

Remote Formal Verification Engineer information

See Roxana, IL salary details

$76.7K

$136.8K

$195.2K

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

As of May 30, 2026, the average yearly pay for remote formal verification engineer in Roxana, IL is $136,769.00, according to ZipRecruiter salary data. Most workers in this role earn between $130,400.00 and $130,400.00 per year, depending on experience, location, and employer.

What are the key skills and qualifications needed to thrive as a Remote Formal Verification Engineer, and why are they important?

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 Remote Formal Verification Engineers?

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 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 cities near Roxana, IL are hiring for Remote Formal Verification Engineer jobs? Cities near Roxana, IL with the most Remote Formal Verification Engineer job openings:
Remote Formal Verification Engineer jobs near you
Remote Broadcast Technician

Remote Broadcast Technician

Audacy, Inc.

Saint Louis, MO • On-site, Remote

Full-time

Posted 27 days ago

Audacy rating

4.9

Company rating: 4.9 out of 10

Based on 9 frontline employees who took The Breakroom Quiz

62nd of 64 rated media

Job description

Overview
Job Title: Remote Broadcast Technician
Department: Programming
Reporting To: Vice President Programming
Employment Type: Part-Time
Location(s): St. Luois, MO
Work Arrangement: Onsite
Overview:
Audacy seeks a Remote Broadcast Technician. This position is for a versatile utility player capable of performing entry-level tasks in the Engineering, Programming, and Marketing departments and maintaining the readiness of our branding equipment and vehicle fleet.
Responsibilities
What You'll Do:
  • Maintain readiness of all promotional equipment and station vehicles.
  • Develop and maintain organizational procedures for broadcast equipment.
  • Engineer and execute live remote broadcasts
  • Set up and operate a live performance studio as a sound engineer.
  • Assist with setup and repair of broadcast gear, sound equipment, office equipment, and furniture.
  • Support in-station and field operations as necessary across the technical and marketing departments.
  • Possess a valid driving license with a good driving record.
  • Additional duties and responsibilities may be assigned.

Qualifications
Required & Preferred:
  • Must be a self-starter and be responsible to work with little to no supervision.
  • Excellent communication skills both written and spoken.
  • Work well under pressure and have the ability to think "outside the box" to solve issues quickly that may occur.
  • A friendly, customer service-oriented attitude and a willingness to complete varied tasks in our Engineering/Programming departments.
  • A valid driver's license, satisfactory completion of a motor vehicle record check, and, if the position requires use of applicant's own vehicle, proof of insurance, is required.

Physical Requirements:
While performing the duties of this job, the employee is frequently required to stand, walk, sit, and use hands and fingers to handle or feel objects, tools, or controls, reach with hands and arms, climb stairs, balance, stoop, kneel, crouch or crawl, talk or hear and smell. The employee must regularly lift and/or move up to 75 pounds. Specific vision abilities required by the job include a good sense of direction, close vision, distance vision, color vision, peripheral vision, depth perception, and the ability to adjust focus.
Important Notes:
Please be aware that Audacy will never ask you to send money at any point during the hiring process. Communication from legitimate Audacy representatives will only come from email addresses ending in @audacy.com. If you receive any suspicious requests or communications, please verify their authenticity before responding.
About Us
Audacy is a leading audio content and entertainment company. As champions of audio, we connect with people in the moments that matter - delivering trusted local news, passionate sports and your favorite music across 220+ radio stations, premium podcasts, live events and digital experiences that reach more than 200 million listeners every month.
We create compelling content, foster deeply engaged audiences and deliver outcomes that matter for advertisers. Learn more at www.audacyinc.com and join the conversation on LinkedIn, X, Facebook and Instagram.
EEO
Audacy is an Equal Opportunity Employer. Audacy affords equal employment opportunity to qualified individuals regardless of their race, color, religion or religious creed, sex/gender (including pregnancy, childbirth, breastfeeding, or related medical conditions), sexual orientation, gender identity, gender expression, national origin, ancestry, age (over 40), physical or mental disability, medical condition, genetic information, marital status, military or veteran status, or other classification protected by applicable federal, state, or local law, and to comply with all applicable laws and regulations. Consistent with our commitment to equal employment opportunity, we provide reasonable accommodations to qualified individuals with disabilities who need assistance in applying electronically for a position with Audacy, unless doing so would impose an undue hardship. To request a reasonable accommodation for this purpose, please call 1-610-660-5614. Please note that this phone number is to be used solely to request an accommodation with respect to the online application process. Calls for any other reason will not be returned. Reasonable accommodation requests are considered on a case-by-case basis.

Apply