Software V&V Engineer: (MBSE / Embedded Systems) Location: Aldershot Contract Type: Contract (6 months) Pay: £55 Per Hour (Outside IR35) About the Role We’re seeking a highly capable Software Verification & Validation Engineer to design and implement a brand-new automated software test framework for a Model Based Systems Engineering (MBSE) environment. What You’ll Do * Design, build, and implement a new automated test framework to validate embedded software against requirements. * Lead the verification & validation of a software runtime compiled alongside MBSE-generated code. * Perform test execution and hardware integration using ARM-based processors. * Prepare and run demonstrations of the MBSE code, runtime, and verification outcomes. Key Skills: * Strong embedded C coding * Code coverage analysis (GCOV) * Unit testing frameworks (CMocka) * Hardware integration experience (ARM-class MCUs) Desirable: * RTOS (RTEMS or similar) * ARM-M7 / Microchip SAM processor experience * MBSE tools such as Matlab, Simulink, Stateflow * Profiling tools (Gprof) Highly Desirable: * Experience with ECSS-E-ST-40, ECSS-Q-ST-80, or DO-178B/C * Knowledge of ASN.1, SDL, AADL * CI pipeline tools such as Jenkins Please submit your latest CV if Interested in the role