2

Remote Formal Verification Engineer Jobs in Kansas

Manager User Experience

Leawood, KS · On-site +1

$113K/yr

Headquartered in Burlington, MA, with additional office locations and hybrid and remote workers in ... You'll partner closely with product managers, engineers, and senior stakeholders to align design ...

Senior Lattice Tower Designer - Remote

Overland Park, KS · On-site +1

$101K - $108K/yr

Verify the accuracy of detailing of lattice tower members and connections in conjunction with structure loading information, foundation layouts, design revisions, change orders, and engineering ...

Senior Lattice Tower Designer - Remote

Overland Park, KS · On-site +1

$101K - $108K/yr

Verify the accuracy of detailing of lattice tower members and connections in conjunction with structure loading information, foundation layouts, design revisions, change orders, and engineering ...

Sr Electrical Designer

Lenexa, KS · Remote

$40 - $73/hr

Fully Remote Contract to hire position $40-$73/hr. DOE Experience working on duct banks, cable ... Responsibilities Utilize applicable engineering national and local codes Design duct bank, embedded ...

Senior Director of Product Development

Overland Park, KS · On-site +1

$230K - $241K/yr

The Senior Director of Engineering will lead a large global engineering organization responsible ... In compliance with federal law, all persons hired will be required to verify identity and ...

From how recommendations are presented and verified, through human review and override paths, to ... Partner with Product and AI Engineering to define jobs-to-be-done for agent-powered workflows and ...

From how recommendations are presented and verified, through human review and override paths, to ... Partner with Product and AI Engineering to define jobs-to-be-done for agent-powered workflows and ...

Showing results 41-60

Remote Formal Verification Engineer information

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 Kansas? For Remote Formal Verification Engineer jobs in Kansas, the most frequently searched job titles are:
What job categories do people searching Remote Formal Verification Engineer jobs in Kansas look for? The top searched job categories for Remote Formal Verification Engineer jobs in Kansas are:
What cities in Kansas are hiring for Remote Formal Verification Engineer jobs? Cities in Kansas with the most Remote Formal Verification Engineer job openings:
Infographic showing various Remote Formal Verification Engineer job openings in Kansas as of August 2026, with employment types broken down into 86% Full Time, 7% Part Time, and 7% Contract. Highlights an 7% In-person, and 93% Remote job distribution.

Risk Management Framework Team Lead

Booz Allen Hamilton, Inc.

Leavenworth, KS • On-site, Remote

$99K - $225K/yr

Full-time, Part-time

Medical, Life, Retirement, PTO

Re-posted yesterday


Booz Allen Hamilton rating

8.9

Company rating: 8.9 out of 10

Based on 49 frontline employees who took The Breakroom Quiz

9th of 72 rated business consultants


Job description


Remote Work:
No
Job Number:
R0235768
Location:
Leavenworth,KS,US
Share job via:
Share
Risk Management Framework Team Lead
The Opportunity:
Are you looking for an opportunity to combine your technical skills with big picture thinking to make an impact on national security and Army readiness? You understand your customer's environment and how to develop the right systems for their mission. Your ability to translate real-world needs into technical specifications makes you an integral part of delivering a customer-focused engineering solution.
As a systems engineer on our team, you have the chance to shape the program by leading the Risk Management Framework (RMF) team. The client will trust you serve as the authoritative RMF subject matter expert and to lead the end-to-end implementation, accreditation, and continuous monitoring of all systems, including the Remote Exercise Enclave Defense Suite (MREEDS), simulation platforms, Mission Partner Environment (MPE), and associated Mission Command systems, ensuring compliance with DoD 8140 and JITC security guidelines. On our team, you'll be able to broaden your skill set into areas like live, virtual, constructive and gaming (LVC-G) training. Grow your skills by merging RMF expertise and LVC-G training to create Warfighter Exercises (WFXs). Join our team and create the future of LVC-G training for the client.
Join us. The world can't wait.
You Have:
  • 10+ years of experience with systems engineering
  • 4+ years of experience in a supervisory role
  • Knowledge of NIST, DoD, and Army Cybersecurity and Risk Management Framework policies, directives, instructions, manuals, and best business practices
  • Knowledge of current industry methods for evaluating, implementing, and disseminating IT security assessment, monitoring, detection, and remediation tools and procedures
  • Knowledge of disaster recovery continuity of operations plans and enterprise incident response program, roles, and responsibilities
  • Knowledge of network security architecture concepts, including topology, protocols, components, and principles
  • Knowledge of server administration and systems engineering theories, concepts, and methods
  • Secret clearance
  • Bachelor's degree
  • DoDM 8140.03 DCWF 462 Advanced Level Certification

Clearance:
Applicants selected will be subject to a security investigation and may need to meet eligibility requirements for access to classified information; Secret clearance is required.
Compensation
At Booz Allen, we celebrate your contributions, provide you with opportunities and choices, and support your total well-being. Our offerings include health, life, disability, financial, and retirement benefits, as well as paid leave, professional development, tuition assistance, work-life programs, and dependent care. Our recognition awards program acknowledges employees for exceptional performance and superior demonstration of our values. Full-time and part-time employees working at least 20 hours a week on a regular basis are eligible to participate in Booz Allen's benefit programs. Individuals that do not meet the threshold are only eligible for select offerings, not inclusive of health benefits. We encourage you to learn more about our total benefits by visiting the Resource page on our Careers site and reviewing Our Employee Benefits page.
Salary at Booz Allen is determined by various factors, including but not limited to location, the individual's particular combination of education, knowledge, skills, competencies, and experience, as well as contract-specific affordability and organizational requirements. The projected compensation range for this position is $99,000.00 to $225,000.00 (annualized USD). The estimate displayed represents the typical salary range for this position and is just one component of Booz Allen's total compensation package for employees. This posting will close within 90 days from the Posting Date.
Identity Statement
As part of the hiring process, we will ask you to complete an identity verification process that leverages advanced biometrics and artificial intelligence to ensure authenticity and protect against identity fraud. You are expected to be on camera during interviews and assessments. We reserve the right to take your picture to verify your identity and prevent fraud.
Candidate AI Usage Policy
AI is a part of our daily work at Booz Allen, and we are committed to the responsible and ethical use of AI tools. However, we want to ensure a fair candidate process based on your own skills and knowledge. As part of this commitment, the use of artificial intelligence (AI) or other tools to assist with responses during interviews (whether in-person or virtual) is prohibited unless permission is explicitly provided.
Work Model
Our people-first culture prioritizes the benefits of collaboration, whether it occurs in person or virtually. To support engagement and effective communication, employees working virtually are generally expected to have their cameras on during meetings.
  • Remote: If this position is listed as remote, there may still be occasions when you are required to work in person at a Booz Allen or customer facility.
  • Hybrid: If this position is listed as hybrid, you will be expected to work from a Booz Allen facility frequently, in alignment with leadership expectations and the needs of the role. You may also be required to work from or visit a customer facility.
  • Onsite: If this position is listed as onsite, work will primarily be performed at a Booz Allen office or customer facility, where employees will collaborate directly with colleagues and customers as required by the role.

Commitment to Non-Discrimination
All qualified applicants will receive consideration for employment without regard to disability, status as a protected veteran or any other status protected by applicable federal, state, local, or international law.
Not ready to apply? Join our Talent Community and sign up for job alerts.

What Booz Allen Hamilton employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom


Booz Allen Hamilton logo

About Booz Allen Hamilton

Sourced by ZipRecruiter

Booz Allen Hamilton is a leading provider of management and technology consulting services to the US government in defense, intelligence, and civil markets. Headquartered in McLean, Virginia, the firm also serves major corporations, institutions, and not-for-profit organizations. Founded in 1914 by Edwin G. Booz, the company has a long-standing tradition of helping clients achieve success by delivering a wide range of consulting services that include strategic planning, human capital and learning, communication, systems development, and others. The company's mission is to empower people to change the world, and it has a reputation for maintaining the highest standards of integrity and-excellence.

Industry

It services

Company size

10,000+ Employees

Headquarters location

McLean, VA, US

Year founded

1914