> Markdown version of [/jobs/ext/3598080-critical-software-verification-engineer](https://www.wearedevelopers.com/jobs/ext/3598080-critical-software-verification-engineer). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# Critical Software Verification Engineer

- **Company:** Arelance
- **Location:** Madrid, Spain
- **Salary:** €36,000.0 - €42,000.0
- **Contract:** Permanent contract
- **Skills:** C++ (Programming Language), Encodings, Software Debugging, Linux, Python (Programming Language), VectorCAST, Test Execution Engine, Scripting, Software Verification, DO-178B
- **Published:** October 7, 2026
- **Apply:** https://www.tecnoempleo.com/critical-software-verification-engineer-arelance/tester-pruebas/rf-dbd118550226938aee41

## About the Role

Al menos 3 años de experiencia en pruebas de sistemas críticos o entornos embebidos, realizando tareas de diseño y ejecución de pruebas funcionales.

 - Programación Python y C/C++.
 - Experiencia máquinas Linux y Scripting Shell.
 - Muy valorable experiencia con plataforma de pruebas VectorCAST o similares.
 - Inglés intermedio-avanzado (imprescindible capacidad de leer/redactar documentación en inglés).
-Valorable experiencia en proyectos de desarrollo, pruebas y verificación bajo cumplimiento norma DO-178C (o DO-178B) para niveles de criticidad DAL-A, DAL-B y DAL-C.
-Capacidad para entender sistemas/SW a alto nivel a partir de requisitos, arquitectura y diseño para poder definir, ejecutar e interpretar test., Imprescindible Residir: Provincia Puesto

Idiomas: Inglés (Alto)

Formación Mínima: Ingeniero Técnico

Nivel Profesional: Empleado

## Description

Colaborar en tareas de análisis de documentación funcional y técnica, diseño o rediseño de pruebas según requisitos o gaps identificados en pruebas anteriores.

 - Codificación de scripts de pruebas funcionales de diferentes niveles sobre componentes de sistemas software críticos mediante herramientas como VectorCAST.
 - Ejecución de pruebas para verificar procesos sobre máquinas Linux, sistemas embebidos, tiempo real, etc.
 - Debugging de componentes software para reporte de defectos.
 - Realizar actividades de Validación y Verificación.
 - Elaboración de procedimientos e informes de pruebas.