Software Engineer - High-Integrity

TXT E-Tech, società del gruppo TXT, è alla ricerca di figure di Software Engineer che si occuperanno di sviluppo e verifica di sistemi software critici per velivoli senza pilota. Le risorse inserite saranno coinvolte in un progetto di sviluppo di applicativi, middleware e framework infrastrutturale garantendo l’integrazione funzionale e la conformità agli standard di certificazione high-integrity.
Principali attività:
Definizione dei requisiti software e aggiornamento di documentazione FSRS;
Sviluppo e validazione di modelli MATLAB/Simulink/Stateflow tracciabili ai requisiti;
Generazione automatica di codice C e integrazione con codice manuale;
Verifica e validazione (unità, integrazione e sistema) secondo standard DO-178C / DO-331;
Preparazione di report di test, metriche di copertura e deliverables di progetto.
Competenze tecniche richieste:
Esperienza nello sviluppo di software high-integrity e conoscenza di standard: DO-178B/C, DO-331, metodologie di certifi...