2

Remote Formal Verification Engineer Jobs in Roxana, IL

Business Central Senior Consultant

Saint Louis, MO · On-site +1

$102.10K - $124.40K/yr

... via formal and informal client contact * Configure, customize, and test systems based on the ... remote formats * Understand and use configuration/programming and documentation best practices

Platforms Intern

Saint Louis, MO · Remote

$18.31 - $24.77/hr

Remote Department: Studio Digital Consumer Product Schedule: Day shift | Full-time Salary: $18.31 ... Partner with product managers, engineering, analytics, and stakeholders to gather requirements ...

next page

Showing results 1-20

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 31, 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:
Jira and Jama Product Delivery Specialist

Jira and Jama Product Delivery Specialist

Maximus

Edwardsville, IL • Remote

$13 - $16.25/hr

Full-time

Medical, Dental, Vision, Life, Retirement, PTO

Posted 9 days ago


Maximus rating

6.9

Company rating: 6.9 out of 10

Based on 287 frontline employees who took The Breakroom Quiz

230th of 425 rated business services


Job description

Description & Requirements

We are seeking a Jira & Jama Product Specialist to maximize how teams use Jira and Jama to plan work, manage requirements, and deliver high quality outcomes. This role focuses on how the tools are used, not just how they are configured.

This position will partner with the product, engineering, business, Testing, and delivery teams-helping them adopt best practices, improve workflows, and use Jira and Jama effectively to support planning, execution, traceability, and decision-making.

*This is a fully remote position. Requires 25% travel.*

Why Join Maximus?

- Competitive Compensation - Bonus opportunities based on performance.
- Comprehensive Insurance Coverage - Choose from various plans, including Medical, Dental, Vision, Prescription, and partially funded HSA. Additionally, enjoy Life insurance benefits and discounts on Auto, Home, Renter's, and Pet insurance.
- Future Planning - Prepare for retirement with our 401K Retirement Savings plan and Company Matching.
- Unlimited Time Off Package - Enjoy UTO, Holidays, and sick leave,
- Holistic Wellness Support - Access resources for physical, emotional, and financial wellness through our Employee Assistance Program (EAP).
- Recognition Platform - Acknowledge and appreciate outstanding employee contributions.
- Tuition Reimbursement - Invest in your ongoing education and development.
- Employee Perks and Discounts - Additional benefits and discounts exclusively for employees.
- Maximus Wellness Program and Resources - Access a range of wellness programs and resources tailored to your needs.
- Professional Development Opportunities- Participate in training programs, workshops, and conferences.

Essential Duties and Responsibilities:
- Apply systems analysis and testing techniques and procedures to ensure software or system functional specifications are correctly identified.
- Create test-related work products (test cases/scripts, test datasets, test validation and verification results etc.) per testing standards and procedures.
- Prepare any required reporting documentation for the respective testing activities.
- Ensure adherence to performance standards and best practices during testing

Key Responsibilities:

• Partner with teams to optimize how Jira is used for planning, tracking, and delivery

• Guide teams on effective use of boards, backlogs, issue types, dashboards, and reports

• Support hybrid delivery models through practical Jira usage patterns

• Help teams define meaningful metrics and dashboards for visibility and continuous improvement

• Act as a Jira subject-matter expert, answering usage questions and advising on best practices

• Identify common challenges or inefficiencies and recommend improvements to workflows and usage

Jama Enablement & Usage

• Support teams in using Jama to manage requirements, traceability, reviews, and baselines

• Partner with product, engineering, and quality teams to ensure requirements are clear, traceable, and actionable

• Coach users on effective review cycles, collaboration, change management, and impact analysis

• Help ensure Jama usage supports audit readiness and documentation needs where applicable

• Promote consistent, repeatable approaches to requirements management across programs

Cross-Tool & Collaboration Responsibilities

• Help teams understand how Jira and Jama work together to support end to end delivery

• Translate delivery, product, and compliance needs into practical tool usage patterns

• Contribute to standards, playbooks, templates, and example workflows

• Provide onboarding, training sessions, office hours, and user guides

• Capture user feedback and help prioritize improvements or enhancements

Minimum Requirements

- Bachelor's Degree in related field.

- 5-7 years of relevant professional experience required.

- Equivalent combination of education and experience considered in lieu of degree.

Program Specific Requirements

• 5+ years of hands-on experience using Jira in a product, delivery environment

• 3+ years of hands-on experience using Jama or similar requirements management tools

• Strong understanding of product development and SDLC processes

• Experience working closely with product managers, engineers, QA, and delivery leads

• Ability to translate process needs into practical, usable workflows

• Comfortable supporting both technical and non-technical users

#HumanServices #maxcorp #LI-Remote

EEO Statement

Maximus is an equal opportunity employer. We evaluate qualified applicants without regard to race, color, religion, sex, age, national origin, disability, veteran status, genetic information and other legally protected characteristics.

Pay Transparency

Maximus compensation is based on various factors including but not limited to job location, a candidate's education, training, experience, expected quality and quantity of work, required travel (if any), external market and internal value analysis including seniority and merit systems, as well as internal pay alignment. Annual salary is just one component of Maximus's total compensation package. Other rewards may include short- and long-term incentives as well as program-specific awards. Additionally, Maximus provides a variety of benefits to employees, including health insurance coverage, life and disability insurance, a retirement savings plan, paid holidays and paid time off. Compensation ranges may differ based on contract value but will be commensurate with job duties and relevant work experience. An applicant's salary history will not be used in determining compensation. Maximus will comply with regulatory minimum wage rates and exempt salary thresholds in all instances.

Accommodations

Maximus provides reasonable accommodations to individuals requiring assistance during any phase of the employment process due to a disability, medical condition, or physical or mental impairment. If you require assistance at any stage of the employment process-including accessing job postings, completing assessments, or participating in interviews,-please contact People Operations at applicantaccom@maximus.com .

Minimum Salary

$110,000.00

Maximum Salary

$160,000.00


What Maximus employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom