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