In sintesi
- Mansioni: Sviluppa software innovativo per sistemi ferroviari e contribuisci a progetti di ricerca all'avanguardia.
- Azienda: Fondazione Bruno Kessler, un centro di ricerca d'eccellenza in Trentino.
- Benefit: Stipendio competitivo, flessibilità oraria, supporto per alloggio e corsi di formazione gratuiti.
- Altre informazioni: Ambiente dinamico con opportunità di crescita professionale e collaborazione internazionale.
- Perché questo lavoro: Lavora su tecnologie digitali che fanno la differenza nel settore ferroviario.
- Qualifiche: Laurea in Informatica o Ingegneria IT e competenze di programmazione in vari linguaggi.
La retribuzione prevista è compresa tra 31654 - 31654 € per anno.
Fondazione Bruno Kessler (FBK) è un'istituzione di ricerca privata dedicata all'eccellenza nella ricerca in numerose discipline. Ogni area di ricerca è assegnata a un centro di ricerca specifico, di cui ce ne sono dodici in totale. Il Centro per l'Industria Digitale di FBK si concentra sulla ricerca su tecnologie digitali per vari settori industriali (es. aerospaziale, ferroviario, automobilistico, energetico, agricolo, manifatturiero) creando applicazioni per sistemi critici, sistemi adattivi e autonomi, sistemi avanzati di percezione, diagnostica e previsione.
La posizione è aperta dall'Unità di Ricerca sui Metodi Formali per Sistemi e Software (FM Unit) del Centro per l'Industria Digitale di FBK. L'Unità FM è composta da circa 35 persone, tra cui ricercatori, post-doc, studenti di dottorato, studenti di master e programmatori. L'Unità svolge ricerca di base e applicata, sviluppo di strumenti e trasferimento tecnologico nel campo dei metodi formali e del design basato su modelli per sistemi embedded complessi.
L'Unità FM sta cercando uno sviluppatore software da assegnare principalmente a compiti nell'ambito di un progetto nel campo della progettazione, verifica e distribuzione di sistemi per il settore ferroviario. L'Unità FM supporta esperti del settore ferroviario con:
- lo sviluppo di metodologie e strumenti per progettare, modellare, implementare, simulare, testare, configurare, distribuire e mantenere sistemi software che controllano le operazioni dei treni e dei dispositivi;
- la progettazione e lo sviluppo di sistemi software che funzionano a bordo o in sidetrack.
Il candidato selezionato è atteso a contribuire attivamente alla linea di ricerca sul design basato su modelli e allo sviluppo di strumenti o sistemi software. Il candidato parteciperà alle attività di vari progetti industriali, come ad esempio il progetto ACC finanziato da Rete Ferroviaria Italiana.
Il candidato selezionato potrà contribuire ai seguenti compiti:
- Progettazione e implementazione di nuove funzionalità negli strumenti esistenti;
- Progettazione e implementazione di sistemi software che funzionano a bordo o in sidetrack;
- Strutturare e scrivere documentazione.
Requisiti del lavoro: Il candidato ideale deve avere:
- Laurea triennale (o esperienza equivalente) in Informatica o Ingegneria IT;
- Buone capacità di programmazione in linguaggi come Java, Python, C++, C, Rust;
- Esperienza pratica con git e ambienti di sviluppo e debug software;
- Competenza orale e scritta in inglese;
- Capacità di lavorare sia in modo indipendente che in un ambiente di team;
- Forti capacità relazionali e comunicative;
- Buone capacità organizzative e di problem-solving.
Inoltre, i seguenti elementi saranno valutati positivamente:
- Esperienza nella programmazione di plugin per Eclipse;
- Esperienza con GEF e/o JavaFX;
- Esperienza con modelli ECore;
- Esperienza con ambienti e linguaggi di design basato su modelli come Scade, SDL, SysML, Stateflow, ecc.;
- Progetti open-source di cui il candidato è autore o ha contribuito;
- Conoscenze di base e/o esperienza precedente nelle seguenti aree:
- Ingegneria del software;
- Soddisfacibilità e risoluzione di vincoli;
- Model Checking o altre tecniche di verifica formale;
- Logica di primo ordine e risolutori SMT;
- Analisi formale di sistemi ibridi;
- Verifica runtime e diagnosi;
- Valutazione della sicurezza formale.
Tipo di contratto: Contratto a tempo determinato. Orario di lavoro: Tempo pieno (38 ore settimanali). Opzioni part-time possono essere valutate in base ai requisiti del profilo selezionato. Data di inizio: Settembre 2026. Durata: 6 mesi, con possibilità di estensione del contratto. Luogo di lavoro: Povo, Trento. Stipendio annuo lordo: circa € 31.654,24 (tempo pieno), più bonus per obiettivi raggiunti.
Benefici: orario flessibile, mensa aziendale o buoni pasto, parcheggio interno, supporto per formalità di visto e per la ricerca di alloggio, pensione integrativa e fondo sanitario, sicurezza sociale (SANIFONDS), equilibrio vita-lavoro, corsi di formazione gratuiti, supporto per apertura di conto bancario, sconto sui trasporti pubblici, sport, spese per corsi di lingua, servizio di consulenza e supporto psicologico.
Informazioni aggiuntive su FBK.
I candidati interessati sono invitati a presentare la propria candidatura completando il modulo online (link). Assicurati che la tua candidatura contenga i seguenti allegati (in formato pdf): CV dettagliato, lettera di presentazione (che spiega la tua motivazione per questa posizione specifica).
Scadenza per la candidatura: 22/07/2026.
A Developer position in the field of Formal Methods and Model Based Design datore di lavoro: Fondazione Bruno Kessler - FBK
La Fondazione Bruno Kessler (FBK) è un datore di lavoro eccezionale, offrendo un ambiente di ricerca stimolante e collaborativo nel cuore di Trento. I dipendenti beneficiano di un'ampia gamma di vantaggi, tra cui orari flessibili, supporto per la formazione e un equilibrio tra vita lavorativa e privata, il tutto in un contesto che promuove la crescita professionale attraverso progetti innovativi e collaborazioni con istituzioni di prestigio come l'Agenzia Spaziale Europea. Unirsi al team della FM Unit significa contribuire a progetti significativi nel settore ferroviario, con opportunità di sviluppo personale e professionale in un ambiente all'avanguardia.
Dettagli di contatto:
Team di recruiting di Fondazione Bruno Kessler - FBK
Consigli degli esperti StudySmarter🤫
Ecco come pensiamo che potresti ottenere A Developer position in the field of Formal Methods and Model Based Design
✨Partecipa ai Meetup Locali
Immergiti nella community tech partecipando a meetup locali di ingegneria e sviluppo software. Questo non solo ti permetterà di imparare delle nuove tendenze, ma anche di incontrare potenziali datori di lavoro e colleghi. Non c'è nulla di meglio che un contatto personale per lasciare il segno!
✨Contribuisci a Progetti Open-Source
Un ottimo modo per farti notare è contribuire a progetti open-source. Questo non solo arricchisce il tuo portfolio, ma ti mette in contatto con professionisti del settore che possono facilmente raccomandarti per posizioni full-time. Inoltre, dimostrerai competenze pratiche che le aziende adorano!
✨Esplora le Piattaforme di Recruitment Tecnico
Ci sono piattaforme di recruitment specializzate per il settore tech dove le aziende cercano costantemente profili come il tuo. Assicurati di registrarti su siti specifici per ingegneri e sviluppatori per ricevere piuttosto offerte di lavoro pertinenti e opportunità interessanti. Fai in modo che il tuo profilo risalti!
✨Applica Direttamente a Fondazione Bruno Kessler - FBK
Non dimenticare di controllare il sito web di Fondazione Bruno Kessler - FBK per eventuali opportunità di lavoro nel settore ingegneristico. Applicare direttamente può aumentare le tue chance di essere notato, specialmente se segui i loro canali social per aggiornamenti su assunzioni e eventi informativi.
Pensiamo che ti servano queste competenze per eccellere come A Developer position in the field of Formal Methods and Model Based Design
Alcuni consigli per la tua candidatura 🫡
Mostra i tuoi progetti!:Nel tuo CV, assicurati di includere una sezione dedicata ai progetti di sviluppo software a cui hai lavorato. Questi possono essere progetti universitari, lavori freelance o anche side projects. Se hai un GitHub, non dimenticare di linkarlo: i recruiter adorano vedere il codice e come affronti le sfide.
Competenze tecniche in evidenza:Fai un elenco chiaro delle tue competenze tecniche nel tuo CV, come linguaggi di programmazione, framework e strumenti che conosci. Assicurati che siano rilevanti per il ruolo di A Developer position in the field of Formal Methods and Model Based Design in Fondazione Bruno Kessler - FBK. Questo aiuterà a dimostrare che sei il candidato ideale per il lavoro!
Scrivi una lettera di motivazione mirata:Quando scrivi la tua lettera di motivazione, evidenzia perché sei appassionato di ingegneria e sviluppo software. Parla dei tuoi obiettivi professionali e di come pensi di crescere in Fondazione Bruno Kessler - FBK. Ricorda, vogliamo vedere il tuo entusiasmo e il tuo desiderio di imparare!
Attenzione ai dettagli:Nell'ambito dell'ingegneria e dello sviluppo software, i dettagli contano. Fai attenzione alla formattazione del tuo CV e della lettera di motivazione. Un CV ben strutturato e privo di errori mostra che sei meticoloso e professionale, qualità fondamentali per un ruolo a tempo pieno come A Developer position in the field of Formal Methods and Model Based Design.
Come prepararti a un colloquio di lavoro presso Fondazione Bruno Kessler - FBK
✨Preparati con le tue abilità tecniche
Per un colloquio in ingegneria e sviluppo software, è fondamentale essere in grado di dimostrare le tue abilità tecniche. Preparati a rispondere a domande di programmazione e a risolvere problemi dal vivo. Puoi anche praticare con piattaforme come LeetCode o HackerRank per affrontare esempi di codice che potresti incontrare.
✨Mostra il tuo portfolio di progetti
Essendo un candidato full-time, è importante avere un portfolio ben curato che mostri il tuo lavoro. Porta con te esempi di progetti passati, sia personali che professionali. Spiega il tuo ruolo in ciascun progetto e i risultati ottenuti. Questo non solo dimostra le tue capacità, ma anche la tua passione per il settore.
✨Preparati a domande sul lavoro di squadra
Nel campo dell'ingegneria e sviluppo software, il lavoro di squadra è cruciale. Aspettati di ricevere domande su come hai collaborato in precedenti progetti o come affronti i conflitti con i membri del team. Pratica le tue risposte usando esempi concreti che mettano in luce le tue abilità relazionali.
✨Conosci il processo di sviluppo che usano
Ogni azienda ha il proprio modo di fare le cose. Prima del colloquio in Fondazione Bruno Kessler - FBK, informati sul loro processo di sviluppo software, come Agile o Scrum. Essere in grado di discutere come ti adatteresti a questi metodi o come hai già lavorato con essi può farti risaltare come candidato ideale.
