Software Developer - Formal Methods for System and Software
Junior / Apprendista

FBK's logo

FBK

Trento, Provincia di Trento, Trentino-Alto Adige, Italia

Di persona

Contratto temporaneo

Ricerca e sviluppo software

Descrizione della Posizione Lavorativa

FBK cerca un Software Developer da inserire nell’unità di ricerca sui Formal Methods per lavorare allo sviluppo di strumenti e sistemi software avanzati destinati al settore ferroviario. La posizione prevede sviluppo, testing e integrazione di soluzioni tecniche nell’ambito dei progetti di ricerca.

Principali responsabilità:

  • Sviluppo di applicazioni e tool software;
  • Collaborazione con ricercatori e ingegneri per l’integrazione delle soluzioni;
  • Supporto alle attività di validazione e sperimentazione su casi d’uso del settore ferroviario.

Requisiti

Esperienza iniziale in sviluppo software; conoscenze informatiche orientate a sistemi complessi (0-3 anni preferibile).

Competenze richieste

  • Competenze professionali
  • Sviluppo software Testing e integrazione
  • Competenze trasversali
  • Collaborazione Precisione