Software Developer - Formal Methods
Junior / Apprendista

Descrizione della Posizione Lavorativa

Fondazione Bruno Kessler (FBK) cerca un Software Developer da inserire nella Research Unit Formal Methods for System and Software (FM Unit) del Digital Industry Center, con l'obiettivo di sviluppare soluzioni software avanzate per il settore ferroviario.

La FM Unit è un gruppo multidisciplinare di circa 35 ricercatori e sviluppatori che lavora su metodi formali e progettazione basata su modelli per sistemi embedded complessi. Il ruolo fa parte di un progetto di ricerca e sviluppo nel dominio ferroviario, in collaborazione con partner industriali, incluso Rete Ferroviaria Italiana.

Contratto: tempo determinato, con inizio previsto a settembre 2026; durata iniziale di 6 mesi con possibile proroga. Orario: full-time (38 ore/settimana) con opzioni part-time a seconda del profilo. Retribuzione indicativa lorda annua: circa €31.654, oltre a un premio legato al raggiungimento degli obiettivi.

Position

Il candidato selezionato contribuirà alla linea di ricerca sulla progettazione basata su modelli mediante lo sviluppo e la manutenzione di strumenti e sistemi software per il dominio ferroviario. Le attività principali includono:

• progettazione e implementazione di nuove funzionalità su tool esistenti;
• sviluppo di sistemi software destinati a bordo treno o lato linea (trackside);
• redazione di documentazione tecnica a supporto delle attività di progetto.

Requirements

• Laurea triennale in Informatica, Ingegneria Informatica o titolo equivalente, o esperienza professionale equivalente;
• buone capacità di programmazione in Java, Python, C++, C o Rust;
• esperienza pratica con Git e ambienti di sviluppo/ debug;
• buona conoscenza scritta e parlata dell'inglese;
• capacità di lavorare in autonomia e in team multidisciplinari.

Preferred requirements

• esperienza nello sviluppo di plugin per Eclipse, conoscenza di GEF, JavaFX o modelli ECore;
• familiarità con ambienti e linguaggi per progettazione basata su modelli (es. Scade, SDL, SysML, Stateflow);
• contributi a progetti open source;
• conoscenze in ambiti quali ingegneria del software, soddisfacibilità e solver di vincoli, model checking e tecniche di verifica formale, logica del primo ordine e SMT solvers, analisi formale di sistemi ibridi, runtime verification e diagnosis, o valutazione formale della sicurezza.

How to apply

Le candidature vanno inviate online tramite la piattaforma di reclutamento FBK entro il 22 July 2026. È richiesto il caricamento di un CV dettagliato e di una lettera di presentazione che motivi l'interesse per la posizione. Per ulteriori informazioni o per candidarsi consultare il link fornito nell'annuncio.

Benefits

• Orario flessibile;
• buoni pasto o accesso a mensa aziendale;
• parcheggio;
• pensione integrativa e assicurazione sanitaria;
• opportunità di formazione e altri benefit aziendali.

Requisiti

Laurea triennale in Informatica o Ingegneria Informatica (o esperienza equivalente); solide competenze di programmazione (Java, Python, C++, C o Rust); esperienza con Git e ambienti di sviluppo/debug; buona conoscenza dell'inglese; capacità di lavorare autonomamente e in team multidisciplinari.