Secure software development processes based on agentic systems

Vedi l’offerta su Go Lavoro: golavoro.it/annuncio-lavoro/865y60

Organisation/Company Libera Università di Bolzano Research Field Computer science Researcher Profile Recognised Researcher (R2) Leading Researcher (R4) First Stage Researcher (R1) Established Researcher (R3) Application Deadline 2 Feb 2027 - 12:00 (UTC) Country Italy Type of Contract To be defined Job Status Not Applicable Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure?
No Offer Description 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... Italy Eligibility of fellows: country/ies of residence: OTHER Eligibility of fellows: nationality/ies:

Vedi l’offerta su Go Lavoro: golavoro.it/annuncio-lavoro/865y60