[A01] IA per l'editoria
Descrizione: Sviluppo sistema per l'editoria ed integrazione AI con Wordpress e Amazon Services.
Sede: Unica Radio (Cagliari)
Responsabile: Carlo Pahler
Numero studenti: 4
Scadenza proposta: 05/05/2025
[R01] Studio ed Estensione di una libreria di Computer Grafica per il Processing di Oggetti 3D al Computer
Descrizione: Obiettivi: l'obiettivo del tirocinio consiste nello studiare ed estendere CinoLib, una libreria C++ di geometry processing, al fine di incorporare nuove funzionalità di visualizzazione e manipolazione di oggetti 3D al computer. CinoLib (https://github.com/mlivesu/cinolib) è un tool per la manipolazione di mesh di superficie e volumetriche ampiamente utilizzato nel mondo della ricerca, ed è stato premiato nel Giugno 2024 con l'SGP Software Award (https://awards.geometryprocessing.org) presso il M.I.T. (https://youtu.be/9R5FBUFM1V0?si=jvR9KDfXx529JDhH&t=292).
Oltre ad acquisire competenze sui principi di programmazione e sulle strutture dati utilizzate all'interno dalla libreria, allo studente sarà presentato un algoritmo di processing o visualizzazione 3D, e sarà suo compito implementare tale funzionalità al fine di renderlo disponibile nella libreria.
Attività previste: le attività previste si articolano in tre fasi principali: (1) studio dei principi di base di CinoLib e della sua struttura; (2) studio di un algoritmo di geometry processing; (3) implementazione dell'algoritmo al punto precedente.
Sede: Dipartimento di Matematica e Informatica (Cagliari)
Responsabile: Marco Livesu
Numero studenti: 2
Scadenza proposta: 31/07/2025
[A02] Sviluppo software per il Cloud PA
Descrizione: L'obiettivo del progetto di tirocinio sarà quello di creare competenze di sviluppo focalizzate prevalentemente sulla creazione e la verticalizzazione di applicazioni web based negli ambienti e linguaggi di riferimento dell’azienda (Microsoft .Net e/o Java). In particolare durante il periodo formativo l'attività dei tirocinanti riguarderà applicazioni software e portali web istituzionali contenenti aree di servizi online dedicati a cittadini e imprese. L'ambiente applicativo dell'azienda è basato su soluzioni modulari in cooperazione applicativa via webservice e ambienti verticali realizzati on-demand su specifiche della PA cliente (Enti locali, Comuni, Province, Regioni) Tutti i moduli applicativi della Arionline sono operanti in ambienti Cloud PA Qualificati da ACN (Agenzia CyberSicurezza Nazionale) e appositamente sviluppati per consentire l’erogazione di servizi PaaS/SaaS secondo le logiche e linee guida AgID e PNRR misura 1.2 e 1.4. Il tirocinante verrà affiancato dai tutor aziendali durante le diverse attività che vedranno fasi di analisi propedeutica delle funzionalità, disegno delle banche dati SQL Based e sviluppo di applicazioni software per il web. Le attività di sviluppo saranno realizzate attraverso processi industrializzati facilitanti e anche grazie all’utilizzo di librerie e moduli appartenenti a piattaforme “container” kubernet based o di kernel aziendale dedicato.
Sede: Arionline s.r.l. (Cagliari)
Responsabile: Arnaldo Pontis
Numero studenti: 2
Scadenza proposta: 31/12/2026
[R02] Sustainability Design nel ciclo di vita del software
Descrizione: A partire dall'ultimo decennio, si sta diffondendo la consapevolezza che l'informatica svolge un ruolo fondamentale nella sfidante questione globale della sostenibilità. Il Manifesto di Karlskrona (Becker et al., 2015) pone le basi per l'applicazione del pensiero sistemico al design di prodotti software e mette in risalto come la sostenibilità (o meglio, gli effetti) di un prodotto software si possano valutare in diverse dimensioni e secondo diversi ordini temporali. Più recentemente, anche la comunità Agile ha intrapreso la strada verso l'integrazione dei principi sistemici di sostenibilità nelle pratiche di sviluppo software, focalizzando l'attenzione su un approccio pragmatico e basato su brevi iterazioni. Tuttavia, restano alcuni problemi aperti quali la necessità di identificare e standardizzare i processi e le metriche per la valutazione della sostenibilità di un processo software e del suo prodotto. Il tirocinio è rivolto agli studenti che si riconoscono nei principi del manifesto di Karlskrona e che vogliono partecipare allo sviluppo e all'analisi di pratiche e metriche e in questo contesto.
Obiettivi: Arricchimento delle conoscenze teoriche tramite l'analisi della letteratura e la realizzazione dello stato dell'arte.
Applicazione pratica dei framework esistenti e delle metriche su progetti software Open Source.
Sviluppo di competenze nell'ingegneria del software ed in particolare nella definizione di metriche per la misura di specifiche dimensioni della sostenibilità.
Modalità: In questo tirocinio interno, gli studenti verranno guidati dal responsabile nella scelta dei documenti scientifici da studiare e nell'utilizzo dei framework. Agli studenti verrà assegnata una postazione in cui potranno lavorare con l'opportuna flessibilità di orari e date.
Sede: Dipartimento di Matematica e Informatica (Cagliari)
Responsabile: Andrea Pinna
Numero studenti: 2
Scadenza proposta: 31/10/2025
[R04] 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: 3
Scadenza proposta: 30/09/2025
[R05] 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: 2
Scadenza proposta: 30/09/2025
[A06] Tirocinio sviluppo web
Descrizione: Il tirocinante si occuperà di svolgere attività di supporto allo sviluppo di software gestionali ad uso interno.
Sede: NC8 Software s.r.l. (Cagliari)
Responsabile: Paola Valdes
Numero studenti: 2
Scadenza proposta: 31/03/2025
[A07] Intelligenza Artificiale Generativa, Motore di inferenza
Descrizione: Le attività di Tirocinio permettono al candidato di lavorare a stretto contatto con il Team di X-Ference, divisione interna di Apply dedicata interamente allo sviluppo di un progetto relativo alla realizzazione di un motore di Inferenza che permette di interrogare i propri dataset con l'intelligenza artificiale attraverso modelli LLM opensource. Il candidato potrà vedere come si fa inferenza con GPU ad alte prestazioni e capire come utilizzare i sistemi di inferenza.
Sede: Apply s.r.l. (Cagliari)
Responsabile: Andrea Pili
Numero studenti: 1
Scadenza proposta: 31/01/2025
[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: 4
Scadenza proposta: 31/12/2026
[R06] Sviluppo di Interfacce Utente per Sistemi Immersivi in Realtà Estesa (XR)
Descrizione: Il tirocinio proposto si concentra sullo studio, design e realizzazione di un’interfaccia utente per un sistema editore immersivo in realtà estesa (XR). L’obiettivo principale è la creazione di regole che esprimano il comportamento dinamico di un ambiente XR, rendendolo accessibile anche a utenti non programmatori.
Il sistema in questione coordinerà diversi flussi di input multimodali, tra cui puntamento, comandi vocali e prossimità, elaborando l’espressione dell’intenzione dell’utente tramite l’uso di modelli di linguaggio avanzati (ad esempio, GPT).
Il progetto sarà svolto in collaborazione con i ricercatori del laboratorio CG3HCI nell’ambito del progetto PRIN EUD4XR. Durante il tirocinio, sarà possibile approfondire la conoscenza di Unity e delle librerie di sviluppo per ambienti XR, come MRTK3 e Oculus SDK, utilizzando visori VR/XR per lo sviluppo oppure di contribuire alla definizione dell’agente intelligente a supporto dell’utente non programmatore.
Questa esperienza rappresenta un’opportunità unica per contribuire a un progetto innovativo e per acquisire competenze avanzate in un settore in rapida evoluzione.
Sede: Dipartimento di Matematica e Informatica (Cagliari)
Responsabile: Lucio Davide Spano
Numero studenti: 2
Scadenza proposta: 30/06/2025
[R07] Sviluppo di Sistemi di Supporto per la Localizzazione di Servizi Ospedalieri
Descrizione: Il tirocinio proposto si focalizza sullo studio, design e realizzazione di un sistema innovativo per il supporto ai pazienti nella localizzazione di ambulatori e servizi all’interno delle strutture ospedaliere. Questo sistema sarà progettato per essere utilizzato sia tramite dispositivi mobili personali dei pazienti, sia attraverso token consegnati all’ingresso per coloro che hanno meno familiarità con gli smartphone. La guida sarà fornita tramite schermi dislocati nella struttura ospedaliera.
Il progetto sarà realizzato in collaborazione con i ricercatori del laboratorio CG3HCI nell’ambito del progetto a cascata PNRR FIATLUCS. Durante il tirocinio, i partecipanti avranno l’opportunità di approfondire le proprie competenze nello sviluppo di applicazioni mobili e di acquisire conoscenze sulle tecnologie per la realizzazione di sistemi di posizionamento indoor.
Questa esperienza rappresenta un’occasione unica per contribuire a un progetto di grande impatto sociale e per sviluppare competenze avanzate in un settore tecnologico in continua evoluzione.
Sede: Dipartimento di Matematica e Informatica (Cagliari)
Responsabile: Lucio Davide Spano
Numero studenti: 1
Scadenza proposta: 30/06/2025
[R08] Sviluppo di Strumenti di Valutazione della Camminabilità Urbana in Realtà Virtuale
Descrizione: Il tirocinio proposto si concentra sulla costruzione di uno strumento per la valutazione della camminabilità di percorsi urbani in modalità remota, utilizzando la visualizzazione in realtà virtuale. Questo strumento permetterà ai partecipanti di camminare virtualmente attraverso diverse strade del mondo, fornendo feedback utile per la costruzione e miglioramento dei percorsi.
Il sistema sarà implementato utilizzando visori Meta Quest Pro e la pedana a basso attrito KAT VR. L’obiettivo principale è l’individuazione delle tecnologie, il design e la realizzazione dello strumento di valutazione, dotato di un’interfaccia configurabile che consenta di variare le scale per il feedback.
Il tirocinio inizierà con una fase preliminare di comparazione tra diverse API che forniscono dati per la visualizzazione, come Google Earth e Cesium, e dei relativi motori grafici per il loro utilizzo, come Unity o Unreal.
Durante il tirocinio, i partecipanti avranno l’opportunità di apprendere tecnologie e tecniche di sviluppo per ambienti di realtà virtuale, l’uso di pedane a basso attrito per la navigazione in ambienti virtuali e l’integrazione di dati georeferenziati all’interno di applicazioni VR.
Questa esperienza rappresenta un’occasione unica per contribuire a un progetto innovativo e per sviluppare competenze avanzate in un settore tecnologico in continua evoluzione.
Sede: Dipartimento di Matematica e Informatica (Cagliari)
Responsabile: Lucio Davide Spano
Numero studenti: 1
Scadenza proposta: 30/06/2025
[A09] Applicazioni dei Large Language Model nella Ricerca Operativa
Descrizione: Automatizzerai la scrittura e il test di modelli matematici, riducendo notevolmente i tempi e aumentando l'efficienza complessiva del processo.
Inoltre, lavorerai per migliorare le formulazioni di modelli matematici esistenti, rendendole più efficienti e compatte, al fine di ottimizzare ulteriormente la ricerca delle soluzioni.
Un aspetto cruciale sarà guidare gli algoritmi di ricerca verso soluzioni ottimali, utilizzando gli LLM per analizzare i dati e suggerire le migliori strategie di ricerca.
Avrai anche l'opportunità di produrre report in linguaggio naturale sfruttando gli LLM per spiegare le soluzioni in modo chiaro ed esaustivo, migliorando così la comprensione del processo decisionale.
Infine, abiliterai l'analisi what-if in linguaggio naturale, consentendo di esplorare scenari alternativi e comprendere gli effetti delle variazioni attraverso il confronto dei risultati.
Sede: Spindox S.p.A. (Cagliari)
Responsabile: Tommaso Colombo
Numero studenti: 1
Scadenza proposta: 01/12/2025
[A10] Time Series e Predizione del Venduto di Articoli Simili
Descrizione: Utilizzo di tecniche di machine learning e deep learning (inclusi modelli fondazionali) per lo sviluppo di prototipi industriali con l’obiettivo di prevedere l'andamento delle vendite, sia attraverso l'analisi di serie storiche di dati, sia mediante la previsione della domanda di nuovi articoli. Queste previsioni verranno realizzate confrontando i nuovi prodotti con quelli già presenti in catalogo, utilizzando la semantica delle descrizioni e il confronto delle immagini.
I modelli impiegati analizzeranno variazioni stagionali, tendenze e picchi imprevisti per ottimizzare la pianificazione delle scorte e le strategie di marketing. Inoltre, identificheranno similarità tra i prodotti attraverso il confronto delle descrizioni testuali e delle caratteristiche visive, permettendo di determinare il corretto approvvigionamento degli ordini per gli articoli in magazzino.
Il tirocinante lavorerà a stretto contatto con il team dedicato al cliente su progetti di business reali, acquisendo competenze avanzate nel campo delle serie storiche, machine learning e computer vision, oltre a capacità gestionali utili nel contesto aziendale.
Sede: Spindox S.p.A. (Cagliari)
Responsabile: Marina Putzu
Numero studenti: 2
Scadenza proposta: 01/12/2025
[A11] Computer Vision
Descrizione: Utilizzo di tecniche avanzate di computer vision per analizzare flussi video e immagini in tempo reale, provenienti da dispositivi sia mobili che fissi. Gli obiettivi dell'analisi possono variare in base al progetto specifico, spaziando dalla rilevazione di anomalie, come malfunzionamenti o incidenti, al riconoscimento e localizzazione di oggetti fissi, fino al monitoraggio di oggetti mobili. Quest'ultima applicazione consente l'acquisizione di caratteristiche come velocità, frequenza di movimento e altre peculiarità pertinenti all'ambito di studio, trasformando i segnali video in serie temporali per un'analisi più approfondita nel tempo.
Il tirocinante avrà l'opportunità di collaborare a stretto contatto con un team di esperti dedicato al progetto di ricerca, acquisendo competenze tecniche avanzate nel campo della computer vision e nella gestione di flussi video in tempo reale. Inoltre, svilupperà capacità di ricerca applicate a contesti sia industriali che innovativi.
Sede: Spindox S.p.A. (Cagliari)
Responsabile: Marina Putzu
Numero studenti: 2
Scadenza proposta: 01/12/2025
[R09] Sviluppo di Interfacce Web per XAI nel Trading Azionario
Descrizione: L’adozione di tecniche di XAI (eXplainable Artificial Intelligence) è quindi essenziale per rendere i modelli di trading più trasparenti, aumentare la fiducia degli utenti e facilitare la comprensione e l’adozione di tali sistemi nel mercato azionario.
L’obiettivo del tirocinio è la creazione di un’interfaccia web per visualizzare diverse tecniche XAI miste nel contesto della predizione automatica del trading azionario. Questo permetterà di comprendere il ruolo di tali tecniche nell’ambito dell’usabilità, comprensibilità ed ottimizzazione del profitto azionario. Inoltre, verrà progettata una valutazione di queste metriche con utenti reali.
Durante il tirocinio, i partecipanti avranno l’opportunità di approfondire le proprie competenze nello sviluppo di interfacce web e nell’applicazione di tecniche di XAI, contribuendo a rendere i modelli di intelligenza artificiale più accessibili e trasparenti per gli utenti finali. Questa esperienza offre la preziosa opportunità di lavorare su un progetto di grande impatto nel mondo finanziario e tecnologico.
Sede: Dipartimento di Matematica e Informatica (Cagliari)
Responsabile: Lucio Davide Spano
Numero studenti: 1
Scadenza proposta: 30/06/2025
[R10] Visualizzazioni adattive per segnalazione di messaggi di Fishing
Descrizione: Il tirocinio proposto si concentra sullo studio della letteratura esistente riguardante la visualizzazione di warning per i messaggi di phishing e sull’analisi di diverse visualizzazioni basate sulle caratteristiche cognitive degli utenti, come per esempio la Need for Cognition (NFC).
L’obiettivo principale è identificare e progettare visualizzazioni di warning che siano efficaci e personalizzate in base alle caratteristiche cognitive degli utenti. Le soluzioni sviluppate saranno poi valutate in modalità remota tramite la piattaforma Prolific, e i dati raccolti saranno analizzati per determinare l’efficacia delle diverse visualizzazioni.
Durante il tirocinio, i partecipanti utilizzeranno tecnologie come HTML, CSS, JavaScript e Python per sviluppare le visualizzazioni e condurre le analisi dei dati. Questa esperienza offrirà l’opportunità di approfondire le proprie competenze nello sviluppo web e nell’analisi dei dati, contribuendo a un progetto di grande rilevanza per la sicurezza informatica e di partecipare al progetto di ricerca PRIN PNRR DAMOCLES.
Questa esperienza rappresenta un’occasione unica per lavorare su un progetto innovativo e per sviluppare competenze avanzate in un settore cruciale come quello della sicurezza informatica e della user experience.
Sede: Dipartimento di Matematica e Informatica (Cagliari)
Responsabile: Lucio Davide Spano
Numero studenti: 1
Scadenza proposta: 30/06/2025
[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: 4
Scadenza proposta: 31/12/2026
[R12] Sviluppo di un'applicazione che possa affiancare i genitori nei primi 1000 giorni di vita del bambino
Descrizione: Negli ultimi decenni, si è scoperto che l’ambiente influisce profondamente sull’espressione genetica. La teoria dei "primi 1.000 giorni" sottolinea l’importanza del periodo che va dal concepimento ai due anni di età per la salute e il benessere futuri. Tuttavia, spesso i genitori sono incerti sui comportamenti migliori da adottare. L’obiettivo del tirocinio è sviluppare un sistema conversazionale basato su evidenze scientifiche, in grado di fornire risposte affidabili ai dubbi dei genitori e di aiutarli a compiere scelte informate.
Durante il tirocinio, i partecipanti esploreranno l’uso di Large Language Models (LLMs), come ChatGPT e LLAMA, capaci di comprendere e generare linguaggio naturale. Inoltre, approfondiranno la tecnica Retrieval-Augmented Generation (RAG), che integra dati specifici, che non fanno parte della formazione iniziale del LLM, da una base di conoscenze esterna per migliorare la qualità delle risposte generate. Il linguaggio di programmazione utilizzato sarà Python.
Grazie alla collaborazione con esperti in psicologia, i partecipanti potranno testare e valutare l’usabilità del sistema sviluppato. Questo tirocinio offre un’esperienza interdisciplinare, combinando competenze informatiche, mediche e psicologiche.
Sede: Dipartimento di Matematica e Informatica (Cagliari)
Responsabili: Silvia Maria Massa, Daniele Riboni
Numero studenti: 1
Scadenza proposta: 30/06/2025
[A13] Content Management System open source OpenCms
Descrizione: Lo scopo del tirocinio è l'acquisizione di competenze tecniche sul software open source OpenCms. OpenCms è un "Content Management System" basato su Java e XML. Il tirocinante verrà impiegato nello sviluppo dell'interfaccia editoriale per il progetto legato ai siti web dei comuni (https://comuni.coranto.it). I contenuti tecnici dello sviluppo verteranno su HTML, CSS, JavaScript, JSP, JSTL e XML.
Sede: Coranto Informatica di Antonio Cordeddu (Selargius)
Responsabile: Antonio Cordeddu
Numero studenti: 2
Scadenza proposta: 30/06/2025
[R13] Smart contract fees - Realizzazione di un tool per il confronto delle fee su diverse blockchian pubbliche
Descrizione: La tecnologia blockchain è una delle tecnologie chiave per lo sviluppo di applicazioni contemporanee. Com'è noto, l'utilizzo della maggior parte delle blockchain pubbliche comporta un costo, generalmente chiamato "fee", che l'utente deve sostenere. La fee si paga per operazioni semplici come l'invio di criptovaluta, o per operazioni più complesse come l'esecuzione degli smart contract. Oggi esistono numerose piattaforme blockchain in grado di eseguire gli smart contract (tra le più importanti si possono citare Ethereum, Cardano e Solana) che si distinguono anche per il modello di fee utilizzato. Tuttavia, non è facile comprendere quale blockchain è più conveniente di altre per la realizzazione di un determinato progetto software. Il tirocinio proposto si inserisce in un progetto che mira alla realizzazione di un tool di confronto delle fee di esecuzione di diversi smart contract. Il tirocinante esaminerà una tra le diverse piattaforme blockchain oggetto dello studio, utilizzando una base di codice comune (scritta in python) e sfruttando i contratti realizzati per il repository Rosetta Smart Contract. Il tirocinio consente allo studente di entrare nel dettaglio pratico degli smart contract e della loro integrazione in applicazioni web3 e analoghe, con le quali verranno valutate le fee.
Obiettivi:
- Studio della libreria python per una blockchain per smart contract (A scelta tra Solana, Cardano, ecc.).
- Sperimentazione pratica dei della libreria per il deploy e testing degli smart contract.
- Costruzione delle tracce di esecuzione per la valutazione degli smart contract.
Modalità: Gli studenti avranno a disposizione il repository Rosetta Smart Contract e verranno assistiti per tutta la durata del tirocinio. Verrà assegnata una postazione in cui potranno lavorare con l'opportuna flessibilità di orari e date.
Sede: Dipartimento di Matematica e Informatica (Cagliari)
Responsabile: Andrea Pinna
Numero studenti: 2
Scadenza proposta: 31/05/2025
[R14] Studio e sviluppo di un sistema di XAI basato su Decision Support System (regole interpretabili) e linguaggio naturale (LLM)
Descrizione: Il tirocinante analizzerà lo stato dell'arte in merito all'uso del linguaggio naturale nel contesto di sistemi di intelligenza artificiale per il supporto alle decisioni e svilupperà un sistema, prevalentemente utilizzando il linguaggio Python (e il framework di reasoning problog) un sistema in grado di compiere azioni/decisioni basandosi su regole stabilite dall'utente utilizzando il linguaggio naturale, tramite l'uso di Large Language Model (libreria hugging face, LLAMA3 e simili).
Sede: Dipartimento di Matematica e Informatica (Cagliari)
Responsabile: Maurizio Atzori
Numero studenti: 2
Scadenza proposta: 30/05/2025
[A14] Modern Web Applications Development
Descrizione: Il progetto di tirocinio è finalizzato alla formazione di figure specializzate nello sviluppo di applicazioni web complesse, in linea con i moderni standard di sviluppo e metodologie di lavoro. Il tirocinio verte in particolare sullo sviluppo della componente frontend e delle sue interazioni con i sistemi backend di supporto, al fine di creare applicazioni dinamiche con un elevato livello di interattività e performance.
Al termine del tirocinio il candidato sarà in grado di:
- Sviluppare da zero un'applicazione web utilizzando i più moderni framework frontend;
- Organizzare in modo strutturato ed efficiente il codice frontend;
- Interagire in modo robusto con i sistemi backend, gestendo sia le risposte attese sia gli errori inaspettati;
- Conoscere nel dettaglio i pattern, le problematiche e le ottimizzazioni tipiche delle applicazioni frontend;
- Avere una comprensione chiara delle architetture e best practice più diffuse in ambito web.
Lo stack tecnologico utilizzato è basato su TypeScript, sia per la parte frontend sia per quella backend.
A seconda dell'andamento del progetto di tirocinio e qualora il tempo a disposizione fosse sufficiente, potranno essere introdotte le seguenti sezioni aggiuntive:
- cenni su sviluppo backend e utilizzo delle piattaforme di cloud computing
- cenni su sviluppo di applicazioni mobile tramite framework cross-platform.
Sede: Stackhouse s.r.l. (Cagliari)
Responsabile: Carmine Barbato
Numero studenti: 5
Scadenza proposta: 31/12/2025
[A15] Developing a modern web application from scratch
Descrizione: Questo progetto di tirocinio mira a formare, tramite il lavoro su un progetto reale, le competenze di analisi, progettazione e realizzazione necessarie per implementare un gestionale web utilizzando le metodologie e le tecnologie più moderne. Il focus sarà principalmente sull’analisi, la raccolta dei requisiti, la scrittura della documentazione di progetto (sia tecnica, sia funzionale), l’implementazione del codice e il testing finale prima del rilascio. Verranno realizzati i componenti front-end e i componenti back-end, utilizzando un’architettura a micro-componenti.
Al termine del tirocinio il candidato sarà in grado di:
- Organizzare la raccolta dei requisiti funzionali e tecnici per la scrittura della documentazione di progetto;
- Strutturare i documenti di analisi per permettere un’agevole e corretta implementazione dei micro componenti previsti per la soluzione;
- Sviluppare da zero un'applicazione web utilizzando i più moderni framework frontend sulla base dei requisiti raccolti e documentati;
- Organizzare in modo strutturato ed efficiente il codice frontend, applicando i pattern previsti dall’architettura a micro-componenti;
- Interagire in modo robusto con i sistemi backend, gestendo sia le risposte attese sia gli errori inaspettati;
- Conoscere nel dettaglio i pattern, le problematiche e le ottimizzazioni tipiche delle applicazioni frontend;
- Avere una comprensione chiara dell’architettura a micro-componenti e le best practice più diffuse in ambito web per la sua implementazione;
- Sviluppare un test book ed eseguire i test pre-rilascio.
Lo stack tecnologico utilizzato è basato su TypeScript, sia per la parte frontend sia per quella backend.
A seconda dell'andamento del progetto di tirocinio e qualora il tempo a disposizione fosse sufficiente, potranno essere introdotte le seguenti sezioni aggiuntive:
- Cenni su analisi funzionale, analisi tecnica, UML
- Cenni su sviluppo backend e utilizzo delle piattaforme di cloud computing;
- Cenni su sviluppo di applicazioni mobile tramite framework cross-platform.
Sede: Stackhouse s.r.l. (Cagliari)
Responsabile: Alessandro Costantino
Numero studenti: 5
Scadenza proposta: 31/12/2025
[R15] Large Language Models e Knowledge Graphs per applicazioni di healthcare
Descrizione: Nell'ambito dei sistemi di healthcare, molte iniziative di ricerca sono volte a riconoscere potenziali problemi di salute e sviluppare sistemi elettronici in grado di stimolare l'individuo a mettere in atto comportamenti più salutari. Questa posizione di tirocinio riguarda la progettazione e lo sviluppo prototipale di un agente conversazionale che possa agire come assistente terapeutico, offrendo consulenza personalizzata riguardo a specifici problemi di salute, soprattutto in ambito psicologico. Il sistema sarà in grado di identificare concetti medici nel discorso e rilevare parametri psicologici del soggetto. Durante il tirocinio, i partecipanti esploreranno l'impiego dei Large Language Models (LLMs), come ChatGPT e LLAMA, in grado di comprendere e generare linguaggio naturale. Approfondiranno inoltre la tecnica Retrieval-Augmented Generation (RAG), che arricchisce le risposte dei LLM integrando dati provenienti da fonti esterne non incluse nel loro set di addestramento, migliorando così la qualità e l'affidabilità delle risposte generate. Il linguaggio di programmazione utilizzato sarà Python.
Sede: Dipartimento di Matematica e Informatica (Cagliari)
Responsabile: Daniele Riboni
Numero studenti: 2
Scadenza proposta: 31/05/2025
Informatica
