Formal Verification jobs in Laurel, MD

Laurel, Maryland

•

Today

Description Do you love working on a motivated team to solve complex problems in innovative ways? Do you enjoy creating embedded prototypes in a laboratory environment? Are you passionate about developing mission-critical cyber solutions for our U.S. military service members? If so, we're looking for someone like you to join our team at APL! We are seeking a computer or electrical engineer to help solve national security challenges. As a member of our team, you'll contribute to vital soluti

Full-time

USD 100,000.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

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

Digital Signal Processing and FPGA Engineer

Laurel, Maryland

•

Today

Description Are you passionate about building impactful and field-forward solutions for our greatest national security challenges? Do you have a passion for developing and implementing innovative high-speed digital signal processing algorithms in modern FPGAs and SoCs? We are seeking a skilled DSP and FPGA engineer to join our multidisciplinary and highly collaborative team in the design, integration, and delivery of custom end-to-end RF communications systems built around software defined ra

Full-time

USD 100,000.00 per year

Design Verification Engineer

Remote

•

6d 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

System Integration Engineer

Gaithersburg, Maryland

•

Today

Join a team that is helping modernize the future of air traffic management while supporting one of the nation's most critical transportation missions. Leidos is seeking a Systems Integration Engineer to join the Terminal Flight Data Manager (TFDM) program supporting the Federal Aviation Administration (FAA). In this role, you will be responsible for integrating, validating, and deploying mission-critical capabilities that improve the safety, efficiency, and reliability of the National Airspace S

Full-time

USD 87,100.00 - 157,450.00 per year

Systems Integration Engineer

Gaithersburg, Maryland

•

Today

Full-time

USD 87,100.00 - 157,450.00 per year

Senior Systems Integration Engineer

Gaithersburg, Maryland

•

Today

Full-time

USD 107,900.00 - 195,050.00 per year

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

2026 PhD Graduate - Formal Verification and Software Assurance Engineer

Laurel, Maryland

•

Today

Description Do you have experience conducting formal verification with formal methods for system and software assurance? Are you passionate about making meaningful contributions that impact national security systems? Do you work best in an intellectually stimulating, professionally rewarding, and fun environment? If so, we 're looking for someone like you to join our APL team. We are seeking a motivated and creative Software Assurance/Formal Methods Developer who will Solve problems to impr

Full-time

USD 105,000.00 per year

Formal Verification and Software Assurance Engineer

Laurel, Maryland

•

Today

Full-time

USD 100,000.00 per year

Formal Verification jobs in Laurel, MD, USA