2

Remote Formal Verification Engineer Jobs in Roxana, IL

Remote micro1 is engaging Biostatisticians to contribute their clinical statistics expertise to a ... verification. * Provide structured written rationales distinguishing true statistical errors from ...

Showing results 21-23

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 Aug 7, 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 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 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:

Principal IT Security Architect - REMOTE from any EST or CST US-based location

CNO Financial Group

Saint Louis, MO • Remote

Full-time

Medical, Dental, Vision, Life, Retirement, PTO

Posted 4 days ago


CNO Financial Group rating

8.7

Company rating: 8.7 out of 10

Based on 8 frontline employees who took The Breakroom Quiz

69th of 303 rated insurance


Job description

Job Details

CNO Financial Group, Inc. (NYSE: CNO) is a leading insurance and financial services company focused on securing the future of middleincome America. Through brands such as Bankers Life, Colonial Penn and Washington National, CNO delivers life and health insurance, annuities, financial services, and workforce benefits to more than 3.3 million policyholders, supported by $38.3 billion in total assets.

With a strong financial foundation, national presence, and a culture rooted in integrity, excellence, and peoplefirst values, CNO offers meaningful opportunities for professional growth and impact across its U.S. locations, including its headquarters in Carmel, Indiana.

CNO Financial Group's IT Team is hiring a Principal IT Security Architect who will play a key role in shaping CNO's enterprise security strategy, architecture, standards, and approach to securing both existing and emerging technologies. This role is responsible for defining security requirements; designing, implementing, and evaluating security solutions; conducting internal and thirdparty security assessments; and developing security policies, standards, and procedures. Working closely with IT leaders, Enterprise Architects, and other Principal Architects, this position applies deep technical expertise and industry knowledge to design enterpriselevel security architectures.

The role will lead security architecture efforts across all cybersecurity domains for new technology implementations, major system changes, and mergers and acquisitions, and will drive updates to architecture, standards, and policies in response to regulatory or business change. This position requires broad and deep information technology experience, strong architectural judgment, and the ability to influence across the organization.

Core responsibilities and deliverables:

  • Defining complex security architectures that are necessary to integrate new entities when a merger or acquisition is complete, including leading various levels of technology resource through the decision-making process.

  • Communicating complex technical and security concepts in clear, businessfocused language to audiences ranging from technical teams to senior and executive leadership.

  • Analyzing and understanding the impact of regulation changes on security architecture, standards and policies, including making and communicating updates as needed.

  • Providing guidance and coaching to cybersecurity lead and senior architects and engineers, and providing overall technical expertise to the cybersecurity department and business stakeholders.

  • Researching, modeling, and tracking secure system standards, industry trends, market technology, potential threats, tactics, and procedures for ecosystem applicability and reference.

  • Developing formal management reporting dashboards aligned to widely accepted standards, including appropriate metrics that inform senior leadership as to the state of information security risk and exposure.

  • Effectively communicating risk and mitigation activities to all levels of the organization during incident or risk treatment actions, to inform critical decision-making and deliver risk reductions.

  • Identifying, quantifying, and documenting requirements to address security risks as they relate to IT and enterprise projects.

  • Recognizing and identifying potential areas where existing security policies and procedures require change, or where new ones need to be developed, especially regarding future business expansion.

  • Performing third-party security risk assessments, especially for cloud service providers and responding to third-party requests for information on CNO's information security program/policies.

  • Ensuring that the organization is leveraging the proper technologies to meet SOX, PCI, and HIPAA/HITECH compliance requirements.

  • Serving as a subject matter expert for the incident lead during Incident Response activities.

  • Leading matrix working groups during Incident Response activities.

  • Supporting legal and Internal Audit activities and information gathering when needed, and effectively communicating complex security topics to these teams.

  • Assessing, advising, and supporting AI security initiatives by applying AI governance frameworks, evaluating security posture, identifying adoption risks, and mitigating exploitation threats.

What you'll need (Minimum requirements):

  • Bachelor's degree in Information Technology or a related field of study, or equivalent experience.

  • 12 years of progressive IT experience with 5+ years' experience as a security architect or related role.

  • Demonstrated enterpriselevel expertise across core cybersecurity domains, including identity and access management, privileged access management, security operations, incident response, vulnerability management, infrastructure and application security, and business/technology resiliency.

  • Experience implementing and ensuring compliance with DoD STIG, Critical Infrastructure Protection, FedRAMP or other security requirement frameworks or guides.

  • A strong ability to apply business and technical knowledge to solving technology and security challenges, including security incident response activities.

What will set you apart (Preferred experience):

  • Masters Degree in Information Technology or a related field of study.

  • Strong verbal and written communication skills to communicate complex technology concepts, risks and incident occurrences to all levels of an organization, including IT leadership, Third Party Partners, and business partners.

  • CISSP or other relevant security certifications (CCSP, CISM, SSCP, etc.)

  • Strong experience across complex enterprise technology environments including operating systems, networking, storage, identity providers, data center infrastructure, cloud service provider architecture, and mainstream platforms (e.g., Microsoft, Oracle, IBM, etc.)

CNO Financial Group offers the following benefits for this position, subject to applicable eligibility requirements:

  • Medical, Dental, and Vision insurance

  • Performance-based bonus or sales incentive

  • 401(k) retirement plan with company match

  • Short-term & long-term disability insurance

  • Paid time off and 10 corporate holidays

  • Paid parental leave

  • Company-paid life insurance

  • Mental & Financial Well-Being resources

Click on this link for additional information.

CNO supports a flexible work environment and encourages Associates to work where they are most productive. This position may work fully remote from any EST or CST US-based location. All work must be performed within the United States, and occasional travel to corporate offices may be required.

Associates living within 60 miles of a corporate office (Carmel, IN or Chicago, IL) have access to work from that location as needed.

The stated pay range is based on a national-average location. Actual salary is determined by factors including relevant work experience, skills and location. This position is also eligible for CNO's performance-based annual bonus program.

#LI_CD1

Compensation

Pay Range: $157,800.00 - $236,800.00 Annual

We are an equal opportunity employer and value diversity at our company. We do not discriminate on the basis of race, religion, color, national origin, sex, gender, gender expression, sexual orientation, age, marital status, veteran status, or disability status. We will ensure that individuals with disabilities are provided reasonable accommodation to participate in the job application or interview process, to perform essential job functions, and to receive other benefits and privileges of employment. Please contact us to request accommodation.


What CNO Financial Group employees say

Pay

Hours and flexibility

Workplace

Get the full story on Breakroom


CNO Financial Group logo

About CNO Financial Group

Sourced by ZipRecruiter

CNO provides life and health insurance, annuities, financial services, and workforce benefits solutions through our family of brands and supported by our associates and agents. Our customers work hard to save for the future, and we help protect their health, income and retirement needs with 3.2 million policies and more than $35 billion in total assets. Our 3,400 associates, 8,600 exclusive agents and independent partner agents guide individuals, families and businesses through a lifetime of financial decisions. We are financially strong and well positioned for continued growth, and we are grounded in our core values of Diversity, Equity & Inclusion (DE&I); Integrity, Customer Focus, Excellence, and Teamwork. We have offices in more than 260 communities in the U.S., including our headquarters in Carmel, Indiana, and corporate offices in Birmingham, Chicago, Philadelphia, Orlando and Milwaukee. At CNO Financial Group, we're always looking forward-to the security and stability we help create for our insurance brands' customers, and the growth we create within our own company. We're looking for ambitious people who want to do more. We'll provide you with opportunities to grow your skills through challenging professional experiences. If you're looking for a culture that encourages development, helps you reach your potential, and rewards you for your contribution, then CNO Financial Group is right for you. For more information, visit CNOinc.com.

Industry

Insurance services

Company size

5,001 - 10,000 Employees

Headquarters location

Carmel, IN, US

Year founded

1979

Social media