Formal Verification jobs in Denver, CO

Denver, Colorado

•

Yesterday

Job Title: Software Test Lead Job Category: Engineering Time Type: Full time Minimum Clearance Required to Start: TS/SCI with Polygraph Employee Type: Regular Percentage of Travel Required: Up to 10% Type of Travel: Local Anticipated Posting End: 11/7/2026 The Opportunity: CACI is seeking a Software Test Lead and Manager for the GEOINT Tradecraft Suite, a mission-critical platform delivering advanced geospatial intelligence capabilities to national security users. In this role, you will

Full-time

USD 99,300.00 - 208,600.00 per year

Systems Engineer - MBSE

Aurora, Colorado

•

Today

Job Title: Systems Engineer - MBSE Job Category: Engineering Time Type: Full time Minimum Clearance Required to Start: TS/SCI Employee Type: Regular Percentage of Travel Required: Up to 10% Type of Travel: Continental US Anticipated Posting End: 1/1/2027 The Opportunity: This position is for a Systems Engineer in either Aurora, CO, Chantilly, VA, or King of Prussia, PA. You will be working closely with a talented team to deliver a complex software application into operations. You will p

Full-time

USD 69,100.00 - 141,500.00 per year

Design Verification (DV) engineer

Remote

•

3d ago

Design Verification (DV) engineerRemote USA.ContractJob SummaryExperienced Design Verification (DV) engineer for an upcoming IP verification project.Scope of Work:Development of a comprehensive verification plan based on hardware requirements.Design, integration, and maintenance of UVM-based testbench components.Development of constrained-random test cases, sequences, and assertion-based checkers.Application of AI-based verification methods and productivity tools where appropriate.Execution of v

Easy Apply

Contract

65 - 70

Test Engineer, Senior

Remote or Orlando, Florida

•

Today

Overview The Senior Test Engineer provides leadership and oversight for test engineering activities on a complex technical program and is responsible for managing the test engineering team, developing test strategies and plans, and coordinating closely with government test management. This position leads the planning, preparation, execution, analysis, and reporting of developmental, integration, system, qualification, and operational test activities to ensure systems and capabilities are verifi

Full-time

USD 150,000.00 per year

Associate / Staff Software Release Engineer

Boulder, Colorado

•

Today

SciTec, a Firefly Aerospace Company, is a dynamic non-traditional defense contractor that delivers advanced technologies in support of U.S. National Security and Defense. For the past forty-five plus years, we have supported Department of Defense customers by developing innovative remote sensing algorithms, tools, and techniques to deliver world-class data exploitation capabilities supporting missile defense; intelligence, surveillance, & reconnaissance; space domain awareness; and aircraft surv

Full-time

USD 88,000.00 - 124,000.00 per year

Staff / Sr Staff Test Automation Engineer

Boulder, Colorado

•

Today

SciTec, a Firefly Aerospace Company, is a dynamic non-traditional defense contractor that delivers advanced technologies in support of U.S. National Security and Defense. For over forty-five years, we have supported Department of Defense customers by developing innovative remote sensing algorithms, tools, and techniques to deliver world-class data exploitation capabilities supporting missile defense; intelligence, surveillance, & reconnaissance; space domain awareness; and aircraft survivability

Full-time

USD 102,000.00 - 157,000.00 per year

Senior NPI Controls Engineer - Energy Storage Systems

Remote or Niskayuna, New York

•

Today

Job Description Summary The Senior Controls Engineer - Energy Storage Systems serves as a key member of the New Product Introduction (NPI) Controls Engineering Team within GE Vernova, operating in a global and collaborative environment. This role is responsible for developing and delivering innovative controls solutions for new Energy Storage initiatives while driving the continuous improvement of existing Solar & Storage Solutions. Scope of responsibility includes, but is not limited to, AC and

Full-time

USD 113,200.00 - 188,800.00 per year

Digital Employee Experience (DEX) Engineer

Remote

•

Today

The Mission Driver Enablement Center (MDEC) in Leidos is seeking an experienced Digital Employee Experience (DEX) Engineer. This is a fully remote position open to candidates located anywhere in the United States. CLEARANCE REQUIREMENT: Must be able to obtain and maintain a Public Trust with ability to obtain Secret or higher, as needed, SHIP REQUIRED. POSITION SUMMARY: The ideal candidate brings deep Nexthink expertise, having progressed beyond platform administration into engineering, auto

Full-time

USD 87,100.00 - 157,450.00 per year

Senior Windows Server Engineer

Remote

•

Today

The Leidos Mission Driver Enablement Center (MDEC) Infrastructure Operations Team has an opening for a Senior Windows Server Engineer to support our Enterprise IT Operations Center. POSITION SUMMARY: This is a great opportunity to work with an elite team of server and systems professionals to maintain a secure environment for critical systems. Bring your own experience and work with our team to teach and learn while building, maintaining, and supporting our customers' environment. LOCATION: Th

Full-time

USD 92,300.00 - 166,850.00 per year

Digital Employee Experience (DEX) Senior Engineer

Remote

•

Today

The Mission Driver Enablement Center (MDEC) at Leidos is seeking an experienced Digital Employee Experience (DEX) Senior Engineer. This is a fully remote position open to candidates located anywhere in the United States. CLEARANCE REQUIREMENT: Must be able to obtain and maintain a Public Trust with ability to obtain Secret or higher, as needed, SHIP REQUIRED. POSITION SUMMARY: The ideal candidate brings deep Nexthink expertise, having progressed beyond platform administration into engineerin

Full-time

USD 131,300.00 - 237,350.00 per year

Software Architect - Systems

Remote

•

Today

Software Architect - Systems ABOUT WIND RIVER Wind River is a global leader in delivering software for mission-critical intelligent systems. For more than four decades, the company has been an innovator and pioneer, powering billions of systems that require the highest levels of security, safety, and reliability. Wind River helps customers across automotive, aerospace, defense, industrial, medical, and telecommunications industries solve complex technology challenges on their journey toward the

Full-time

Formal Verification jobs in Denver, CO, USA