In questa pagina sono riportati i progetti di Tirocinio attualmente disponibili per il Corso di Laurea in Informatica (Università degli Studi di Cagliari). Per ogni tirocinio viene riportato, oltre la sua descrizione, la sede in cui si svolgeranno le attività previste dal progetto, il responsabile del progetto e il numero di studenti/studentesse massimo previsto per l'attività proposta. Ogni proposta è identificata da un codice con la seguente sintassi: AXX per tirocini in azienda o enti, o RXX per tirocini di ricerca. I codici dei progetti (fino a un massimo di 5) dovranno essere inseriti nel form di richiesta di avvio del tirocinio.

NB: verificate sempre, prima di compilare la domanda, che i progetti di tirocinio di vostro interesse siano ancora attivi (mediante il campo “scadenza proposta”).

[A08] Sviluppo di Funzionalità Avanzate per l'Automazione della Riconciliazione Bancaria e delle Scritture Contabili

Descrizione: L'obiettivo del progetto è sviluppare funzionalità avanzate per automatizzare la riconciliazione bancaria e le scritture contabili su una piattaforma interna di automazione contabile. Gli studenti saranno suddivisi in due team: un team di back end, che lavorerà con tecnologia .NET, e un team di front end, che utilizzerà React per l’interfaccia utente. Entrambi i team sfrutteranno tecniche di Intelligenza Artificiale e Machine Learning, comprese soluzioni di Generative AI, per implementare procedure di verifica automatica e riconciliazione dei dati contabili e bancari. Il progetto consentirà agli studenti di acquisire competenze avanzate nello sviluppo software, nell'integrazione di AI e nella gestione di flussi contabili automatizzati.

Sede: Maxtrino s.p.a. (Cagliari) 

Responsabile: Enrico Casula

Numero studenti: 1

Scadenza proposta: 31/12/2026

[A12] Progettazione e Sviluppo di Funzionalità Avanzate per l'Automazione del Processo Contabile Passivo

Descrizione: Il progetto di tirocinio prevede lo sviluppo di funzionalità avanzate per una piattaforma di automazione del ciclo passivo, con gli studenti divisi in due team: uno dedicato al back-end (tecnologia .NET) e l'altro al front-end (tecnologia React). Le attività includeranno la progettazione e implementazione di moduli che utilizzano AI, Machine Learning e Generative AI per automatizzare e migliorare le procedure di verifica e riconciliazione dei dati contabili. La metodologia prevede un approccio collaborativo per garantire l'integrazione fluida tra i moduli e un ciclo di sviluppo agile per favorire un costante avanzamento del progetto.

Sede: Maxtrino s.p.a. (Cagliari) 

Responsabile: Enrico Casula

Numero studenti: 3

Scadenza proposta: 31/12/2026

[A31] Intelligenza artificiale e ottimizzazione dei flussi editoriali per radio e streaming

Descrizione: Unica Radio propone un tirocinio curricolare rivolto a studentesse e studenti interessati ad approfondire l’applicazione dell’intelligenza artificiale ai processi editoriali e tecnici di una realtà radiofonica e multimediale.
Il percorso di tirocinio è orientato all’analisi e all’ottimizzazione dei flussi di lavoro della linea editoriale, con particolare attenzione ai processi di produzione, gestione e distribuzione dei contenuti audio e video. Il tirocinante collabora con la redazione e con il team tecnico per sperimentare strumenti di intelligenza artificiale a supporto delle attività di scrittura, archiviazione, indicizzazione dei contenuti e pianificazione editoriale.

All’interno del percorso è previsto anche il coinvolgimento nelle attività di gestione dei server per lo streaming audio e video, con un focus sul funzionamento delle infrastrutture tecniche, sull’automazione dei processi di pubblicazione e sul monitoraggio delle performance dei flussi di streaming. Il tirocinio consente di osservare e contribuire all’integrazione tra competenze editoriali, tecnologiche e organizzative, all’interno di un contesto reale di produzione mediale.

Sede: Unica Radio (Cagliari)

Responsabile: Carlo Pahler

Numero studenti: 3

Scadenza proposta: 31/12/2026

[R46] Sviluppo di un'interfaccia web per l'analisi di reti complesse

Descrizione: L'obiettivo del tirocinio consiste nello studio e nell'estensione di VIPNODES, un'applicazione sviluppata per il calcolo e l'approssimazione di indici di centralità, indicatori numerici tipici della teoria delle reti complesse. Inizialmente progettato come un applicativo MATLAB, il software sarà oggetto di un porting verso un'applicazione web, con la necessità di un miglioramento grafico e funzionale. Il tirocinante avrà il compito di acquisire familiarità con strumenti quali Vue.js, JavaScript e Python, al fine di ottimizzare e implementare le funzionalità dell'interfaccia utente e migliorare l'esperienza d’uso. Inoltre, dovrà seguire le migliori pratiche di programmazione e design per lo sviluppo di applicazioni interattive e garantirne la fruibilità attraverso il deployment su un server dedicato.

Sede: Dipartimento di Matematica e Informatica (Cagliari)

Responsabile: Caterina Fenu

Numero studenti: 1

Scadenza proposta: 31/07/2026

[R51] Prototipo ChatGPT‑style in Unity: Analisi e Upgrade

Descrizione: Il tirocinio riguarda l’analisi e l’evoluzione di un prototipo di ricerca che integra una GUI custom in Unity (stile ChatGPT) con un chatbot RAG in Python (langchain + pinecone + openai). La GUI consente interazioni stile ChatGPT: (1) l’utente pone una domanda; (2) un algoritmo estrae lo stato scena Unity per fornire contesto al backend; (3) Il backend genera una risposta e la manda a Unity; (4) Unity renderizza la risposta nella custom GUI. Il codice non è recente e va considerato come una baseline di ricerca: utile per comprendere l’idea generale, ma potenzialmente da aggiornare, re-factorizzare o riprogettare alla luce delle soluzioni attuali.

Conoscenze utili all'ingresso (da consolidare durante il tirocinio): Unity (livello base), Python (livello intermedio per il backend) e gestione del suo ambiente.

Competenze acquisite o notevolmente migliorate nel corso dell’attività:

• Analisi critica di codice preesistente e valutazione della qualità (refactoring, aggiornamento librerie).
• Gestione avanzata di ambienti Python, inclusa la risoluzione di conflitti di dipendenze.
• Integrazione tra Unity e backend Python tramite API o interfacce di comunicazione custom.
• Comprensione dei metodi di rappresentazione semantica delle scene (scene graphs, embeddings, strutture semantiche).
• Capacità di eseguire confronti sperimentali tra diverse pipeline di interazione (Unity + chatbot integrato vs. Unity + ChatGPT via browser).

Sede: Dipartimento di Matematica e Informatica (Cagliari)

Responsabile: Davide Spano

Numero studenti: 1

Scadenza proposta: 30/04/2026

[R54] Smart contracts analysis and verification

Descrizione: L'attività del tirocinio riguarda lo studio e la sperimentazione di tecniche avanzate di analisi e verifica per smart contracts su blockchain. Gli smart contracts sono programmi che vengono eseguiti in modo sicuro e trasparente da una blockchain, e in grado di gestire e distribuire crypto-asset agli utenti seguendo logiche personalizzate e complesse. La verifica degli smart contracts è un problema di notevole rilevanza pratica, in quanto anche un singolo bug può causare perdite multimilionarie di crypto-asset. L’obiettivo del tirocinio è fornire allo studente una solida introduzione alle nozioni fondamentali degli smart contract, delle blockchain e delle criptovalute, consentendogli di sviluppare competenze pratiche nella progettazione e verifica di sicurezza degli smart contracts e di comprendere i rischi che caratterizzano questo settore in rapida evoluzione.

Nello specifico, il tirocinante dovrà:

• approfondire lo studio di un linguaggio di programmazione per smart contracts;
• studiare uno strumento per l’analisi o la verifica di smart contracts;
• sperimentare lo strumento scelto su un insieme di use cases (vedi ad esempio https://github.com/bitbart/contracts-verification-benchmark);

I dettagli saranno concordati con il responsabile del progetto.

Sede: Dipartimento di Matematica e Informatica (Cagliari)

Responsabile: Massimo Bartoletti

Numero studenti: 3

Scadenza proposta: 31/12/2026

[R55] Rosetta Smart Contracts

Descrizione: L'attività del tirocinio riguarda lo sviluppo di smart contract per blockchain decentralizzate e permissionless. Gli smart contracts sono programmi che vengono eseguiti in modo sicuro e trasparente da una blockchain, e in grado di gestire e distribuire crypto-asset agli utenti seguendo logiche personalizzate e complesse. Esistono numerosi linguaggi di programmazione per smart contracts, ciascuno con caratteristiche, punti di forza e limitazioni specifiche. L'obiettivo del tirocinio è fornire allo studente una solida introduzione ai concetti fondamentali degli smart contracts, delle blockchain e delle criptovalute, consentendogli di sviluppare competenze teoriche e pratiche in un settore altamente innovativo.

Nello specifico, il tirocinante dovrà:

• approfondire lo studio di un linguaggio di programmazione per smart contracts (da concordare con il responsabile del progetto); 
• implementare nel linguaggio scelto un insieme di use cases (vedi ad esempio https://github.com/blockchain-unica/rosetta-smart-contracts);
• testare le proprie implementazioni sulla blockchain.

Sede: Dipartimento di Matematica e Informatica (Cagliari)

Responsabile: Massimo Bartoletti

Numero studenti: 4

Scadenza proposta: 31/12/2026

[R59] Processi di modellizzazione e analisi dei dati degli edifici di interesse storico

Descrizione: I modelli BIM (Building Information Modeling) rappresentano gli edifici come insiemi strutturati di dati geometrici, tecnici e descrittivi, generalmente scambiati tramite lo standard aperto  IFC (Industry Foundation Classes). Gli edifici storici rappresentano un caso particolare e sono caratterizzati da una grande quantità di informazioni eterogenee: dati geometrici, descrizioni tecniche, documentazione storica, parametri di stato e manutenzione. Tramite i modelli HBIM (Historical Building Information Modeling) si possono organizzare tali informazioni all’interno di modelli digitali strutturati. Questi modelli costituiscono una fonte informativa molto ricca, ma non immediatamente utilizzabile all’interno del sistema informativo o processabile per l'analisi.

Al fine di monitorare lo stato attuale degli edifici e per individuare scostamenti e criticità, si rende necessario mettere in relazione i vari descrittori. Questo è oggi possibile grazie agli strumenti di Intelligenza Artificiale a supporto dell’analisi, in grado di lavorare su dati strutturati e non strutturati, utilizzando una base di conoscenza e regole definite a livello di sistema. 

Il tirocinio si concentra sull’analisi della struttura dei modelli IFC e sulla progettazione di flussi di integrazione tra HBIM e DBMS, sperimentando tecniche di estrazione, trasformazione e caricamento dei dati. L’obiettivo è rendere le informazioni contenute nei modelli HBIM accessibili, interrogabili e integrabili in sistemi informativi a supporto del monitoraggio e della gestione degli edifici storici. Il tirocinio include la progettazione e sperimentazione del modello informatico di AI, utilizzando una base di conoscenza e regole di correlazione, e può integrare tecniche di Retrieval-Augmented Generation (RAG) per combinare l’interrogazione dei dati con il recupero di informazioni rilevanti dalla documentazione tecnica e descrittiva.

Obiettivi:

• Comprendere la struttura informativa dei modelli HBIM e utilizzare librerie software per estrarre dati dai modelli IFC.
• Progettare un mapping concettuale tra dati IFC e schemi di database relazionali
• Implementare il flusso ETL (Estrazione, Trasformazione, Caricamento) per l'integrazione dei dati HBIM e costruzione della base di conoscenza.
• Analizzare il problema della correlazione tra dati diversi.
• Utilizzo di tecniche RAG per combinare l’interrogazione dei dati con il recupero di informazioni rilevanti.

Requisiti:

• competenze in programmazione, basi di dati e SQL; 
• interesse per intelligenza artificiale e data analysis; 
• capacità di analisi e formalizzazione di problemi complessi.

Modalità: Ai tirocinanti verrà fornito il materiale di studio necessario e saranno seguiti in ogni fase del lavoro. Ai tirocinanti verrà assegnata una postazione alla quale potrà accedere durante le ore lavorative, con opportuna flessibilità di orari e date.

Sede: Dipartimento di Matematica e Informatica (Cagliari)

Responsabile: Gavina Baralla

Numero studenti: 2

Scadenza proposta: 31/12/2026

[A36] Sviluppo e Addestramento di Modelli AI per il Riconoscimento di Insetti da Analisi Video

Descrizione: Il tirocinio si focalizza sullo sviluppo e l'addestramento di modelli di intelligenza artificiale per il riconoscimento automatico di insetti attraverso l'analisi di contenuti video. L'attività rappresenta un'applicazione innovativa delle tecniche di computer vision e machine learning nel campo dell'entomologia digitale e del monitoraggio ambientale.

Il progetto si inserisce nel contesto della ricerca applicata per il monitoraggio della biodiversità e la gestione sostenibile degli ecosistemi, con particolare riferimento al settore apistico e alla tutela degli impollinatori. L'obiettivo principale è sviluppare un sistema automatizzato capace di identificare, classificare e tracciare diverse specie di insetti in tempo reale da flussi video. La ricerca si concentra specificamente sull'identificazione e classificazione delle specie di insetti autoctone della Sardegna, contribuendo alla valorizzazione e tutela dell'ecosistema ambientale regionale.

Obiettivi formativi:

• Acquisire competenze avanzate in computer vision e deep learning
• Approfondire l'uso di framework per l'intelligenza artificiale (TensorFlow, PyTorch, OpenCV)
• Sviluppare competenze nell'elaborazione e analisi di dati video
• Imparare tecniche di data augmentation e preprocessing per dataset biologici
• Acquisire esperienza pratica nell'addestramento e ottimizzazione di modelli neurali
• Sviluppare competenze nell'evaluation e validazione di modelli AI

Sede: CRS4 (Pula)

Responsabile: Cristian Lai

Numero studenti: 1

Scadenza proposta: 31/12/2026

[R64] Studio e ed estensione della libreria C++ Cinolib per il processing di oggetti 3D al computer

Descrizione: Il tirocinio consiste nello studio di una libreria C++ per la visualizzazione ed il processing di oggetti 3D su computer (cinolib). Durante la prima fase lo studente imparerà ad installare e compilare la libreria, oltre che a studiarne la struttura software e le strutture dati in essa contenute. Nella seconda parte lo studente implementerà una estensione della libreria, incrementando le funzionalità per la validazione numerica di mesh volumetriche, dominio computazionale utilizzato per il calcolo di simulazione fisiche al computer.

Sede: Dipartimento di Matematica e Informatica (Cagliari)

Responsabile: Marco Livesu

Numero studenti: 1

Scadenza proposta: 07/04/2026

[A37] Sviluppo Software e machine learning

Descrizione: Il tirocinante dovrà occuparsi della documentazione e registrazione delle attività, delle anomalie e delle soluzioni adottate, relativamente al processo di integrazione e di installazione - Definizione di standard procedurali per il ciclo di integrazione - Coordinamento di programmi di integrazione - Supervisione di programmi di integrazione - Individuazione delle risorse da impiegare nel processo di integrazione - Verifica della compatibilità delle specifiche dei componenti hardware e software - Messa in sicurezza dei dati durante l’integrazione - Esecuzione dell' integrazione di moduli, sistemi e componenti - Esecuzione dell'installazione di hardware/software.

Sede: Greenshare s.r.l. (Open Campus) 

Responsabile: Arianna Floris

Numero studenti: 1

Scadenza proposta: 14/04/2026