Formal Verification jobs in Dayton, OH

Dayton, Ohio

•

Today

Tangram Flex is seeking a Software Engineer with Language Development Experience to help design, develop, and optimize core interpreter/transpiler infrastructure and language toolchains. In this role, you will work at the intersection of programming language design, hardware architecture, and systems engineering by translating high-level abstractions into high-performance, production-ready machine code. Whether you are optimizing intermediate representations (IR), building custom front-ends/back

Full-time

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

Senior Principal ASIC FPGA Engineer

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

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 Dayton, OH, USA