Formal verification jobs in indiana

Remote or Boise, Idaho

•

Today

Basic Qualifications Education Requirements: Bachelor's degree in Electrical or Computer Engineering, or a related Science, Engineering or Mathematics field, plus a minimum of 10 years of relevant experience; or Master's degree plus a minimum of 8 years of relevant experience. Clearance Requirements: Ability to obtain a Department of Defense Secret security clearance is required at time of hire. Applicants selected will be subject to a U.S. Government security investigation and must meet eli

Full-time

USD 191,146.00 - 212,053.00 per year

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

Meet us at ICFP 2026!

Indianapolis, Indiana

•

29d ago

We're looking forward to #ICFP2026 in Indianapolis! OCaml is our primary development language at Jane Street, and we're actively building new language features and formal verification tools. See our recent blog post, and come chat with out team at the conference.

Full-time

Principal Embedded Software Engineer (T05)

Indianapolis, Indiana

•

Today

Overview Working across the globe, V2X builds smart solutions designed to integrate physical and digital infrastructure from base to battlefield. We bring 120 years of successful mission support to improve security, streamline logistics, and enhance readiness. Aligned around a shared purpose, our $3.9B company and 16,000 people work alongside our clients, here and abroad, to tackle their most complex challenges with integrity, respect, responsibility, and professionalism. V2X is seeking an acc

Full-time

Design Verification Engineer

Remote

•

5d ago

Design Verification (DV) Engineer Key Responsibilities Develop and maintain UVM-based SystemVerilog testbenchesCreate reusable verification components and environmentsDevelop and execute verification plans for subsystem and block levelDebug RTL issues and collaborate closely with designContribute to end-to-end validation flowsDrive coverage closureRequired Qualifications Strong hands-on expertise in UVM and SystemVerilogExperience with ARM-based protocols including:APBAXI (no CHI/coherency requi

Easy Apply

Contract

Depends on Experience

Remote Embedded Software Engineer (C Coding)

Remote or Rockford, Illinois

•

Today

Job Description A remote Embedded Software Engineer job with a focus on C coding is currently available through Belcan at one of our key aerospace clients. We are seeking a highly motivated Software Engineer with a focus on Linux Simulation Application Development and a strong background in complex software application design, maintenance, and support. The simulation team supports all phases of product development from early requirements analysis, through design, to final product validation and

Easy Apply

Full-time

USD 83,200.00 - 104,000.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 Indiana, USA