Bando per incarichi post doc
| Titolo del progetto in italiano | Processi di sviluppo sicuro basati su sistemi agentici |
|---|---|
| Titolo del progetto in inglese | Secure Software Development Processes Based on Agentic Systems |
| G.S.D. | 01/INFO-01 - INFORMATICA |
| S.S.D | - |
| Descrizione sintetica in italiano | Il progetto mira a definire e validare processi di sviluppo software sicuro supportati da sistemi agentici basati sull’IA. Gli agenti saranno impiegati nel ciclo di sviluppo per analizzare requisiti, generare e revisionare 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... |
| Descrizione sintetica in inglese | The project aims to define and validate secure software development processes supported by AIbased agentic systems. The agents will operate throughout the development lifecycle to analyse requirements, generate and review code, produce tests, and detect vulnerabilities, technical debt, and quality issues. The project will combine language models trained on code with static analysis and software repository mining. Particular attention will be paid to both the security of the resulting software and the reliability of the agentic process. Controls, verification criteria, and oversight mechanisms will be defined to reduce the risk of agents introducing vulnerabilities, propagating errors, or adopting insecure practices. The models’ ability to generalise across languages and contexts will also be examined. The results will include verifiable and reproducible processes, datasets, models, tools, and guidelines for the responsible use of agents... |
| Data del bando | 24/09/2026 |
| Numero di assegnazioni per anno | 1 |
| Paesi in cui può essere condotto l'incarico |
Italy |
| Paesi di residenza dei candidati |
OTHER |
| Nazionalità dei candidati |
OTHER |
| Sito web del bando | https://www.unibz.it/it/home/position-calls/positions-for-academic-staff/8493-informatica-prof-ssa-russo-barbara?group=76 |
| Destinatari dell'incarico post doc (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|
| Nome dell'Ente finanziatore | Libera Università di Bolzano |
|---|---|
| Tipologia dell'Ente | Academic |
| Paese dell'Ente | Italy |
| Città | Bolzano |
| Sito web | https://www.unibz.it/ |
| personnel_academic@unibz.it |
| L'incarico finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 02/02/2027 - alle ore 12:00 |
|---|---|
| Come candidarsi | https://www.unibz.it/it/home/position-calls/positions-for-academic-staff/8493-informatica-prof-ssa-russo-barbara?group=76 |