Incarico di ricerca post-doc
01/INFO-01 - Informatica
Uni. Bolzano
Aperto il: 24/09/2026 Scadenza: 02/02/2027

Processi di sviluppo sicuro basati su sistemi agentici

Il progetto mira a definire e validare processi di sviluppo software sicuro supportatida sistemi agentici basati sull’IA. Gli agenti saranno impiegati nel ciclo di sviluppo per analizzare requisiti, generare erevisionare codice, produrre test e rilevare vulnerabilità, debito tecnico e problemi di qualità. Il progetto integrerà modelli linguistici addestrati sul codice con tecniche di analisi statica e mining di repository software. Particolare attenzione sarà dedicata alla sicurezza del software prodotto e all’affidabilità del processo agentico. Saranno definiti controlli, criteri di verifica e meccanismi di supervisione per ridurre il rischio che gli agenti introducano vulnerabilità, propaghino errori o adottino pratiche non sicure. Sarà studiata la capacità dei modelli di generalizzare tra linguaggi e contesti. Il risultato includerà processi verificabili e riproducibili, dataset, modelli, strumenti e linee guida per un uso responsabile degli agenti...

Torna ai bandi