Desarrollarás software embebido en ADA para sistemas críticos de defensa electrónica, participando en verificación y validación.
