Software Verification Engineer

Quest Defense Systems & Solutions, Inc.•Endicott, NY

5d•Remote

About The Position

Quest Defense Systems and Solutions is seeking to hire Software Verification Engineers with experience in safety-critical embedded systems to support advanced aerospace and defense programs. You’ll be verifying and validating software running on RTOS-based, multicore SoC architectures, ensuring compliance with DO-178C and alignment to system-level requirements. This includes hands-on work across integration, system test, and software verification (HLR/LLR) in complex hardware/software environments. This role is ideal for engineers who understand the added complexity multicore introduces in certification, including timing, determinism, and partitioning concerns.

Requirements

Bachelor’s degree in software engineering or a related engineering discipline
2+ years of relevant Software Engineering experience in avionics or electronic controls embedded development in a safety or mission-critical environment (ie: aerospace, military)
Experience developing or developing on top of an RTOS (real-time operating system), as well as familiarity with RTOS concepts
Experience with developing software to DO-178C standards
Experience with C, Python
Experience with Integration and Test at both system levels (HW/SW integration) as well as software test (HLR/LLR)

Nice To Haves

Experience with Asymmetric Multiprocessing
Experience with debug concepts on complex multi-core SoC
Master’s degree in software engineering or a related engineering discipline
Experience with ARM processors, associated System on Chip features, and ARM toolsets like ARM Dev Studio IDE and ARM DStream Probe
Experience developing device drivers/board support packages
Familiar with data transfer protocols (ARINC 615A, ARINC 429, MIL-STD-1553, PCIe, LIN, CAN)
Familiar with security concepts (authentication, authorization, confidentiality)
Familiarity with actuators and sensors like stepper/torque motors, solenoids, relays, VDT, VRT, etc.
Experience BVA (boundary value analysis), SCA (structural coverage analysis), DCCA (data and control coupling analysis)
Experience with DO-330 Tool Qualification
Good soft skills: communication, ability to perform active listening, self-manage, raise/elevate roadblocks and hiccups, communicate clearly, and take direction
Good general understanding of engineering principles to be able to adapt to new projects/environments and come up to speed quickly
Team leadership experience, including project technical leadership and/or software functional leadership
Experience in the adoption and/or integration of emerging technologies (e.g., generative AI, automation platforms, digital assistants) into day-to-day operations for continuous improvement

Responsibilities

Verifying and validating software running on RTOS-based, multicore SoC architectures
Ensuring compliance with DO-178C
Ensuring alignment to system-level requirements
Hands-on work across integration, system test, and software verification (HLR/LLR) in complex hardware/software environments