researchJobsSecure compilation for AI-generated code
Compilazione sicura per codice generato da AI — Machine-translated title
From the ad
About the call
Titolo del progetto ddell'incarico: Secure compilation of AI generated code
Campo principale: Engineering
Sottocampo: Computer engineering
Competition group (GSD): 01/INFO-01 - INFORMATICA
Disciplinary sector (SSD): INFO-01/A - Informatica
Summary: This project addresses the risks of AI-generated code, which acts as a stochastic, untrusted compiler that translates natural language intent into often functionally correct but security-agnostic code. This project will study a novel theory of pluggable security patches to harden these AI-generated code against classical vulnerabilities (e.g., memory safety, non-interference) as well as against microarchitectural threats...
Call date: 15/09/2026
Awards per year: 1
Stanziamento annuale (indicativo): 22.500,00
Periodicità: 12 mesi
E' richiesta mobilità internazionale?: no
Countries where the work may be done: Italy
Applicant countries of residence: AFRICA EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA OTHER E.U. CHINA (MAINLAND) CHINA (HONG KONG)
Applicant nationalities: AFRICA EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA OTHER E.U. CHINA (MAINLAND) CHINA (HONG KONG)
Contract details
Destinatari dell'incarico di ricerca (of target group): Early stage researcher or 0-4 yrs (Post graduate)
Funding body
Funding body: Università degli Studi di Trento
Body type: Public research
Body country: Italy
City: Trento
Postcode: 38122
Address: Via Calepina 14
Website: http://www.unitn.it
EU Research Framework Programme
Funded or co-funded by an EU Research Framework Programme?: No
How to apply
Application deadline: 06/10/2026 - alle ore 12:00
Contact
E-mail: selezioni.ricerca@unitn.it
Telephone: 0039 0461 281969-1914-1620-1157-5309
Show the original advertisement
Descrizione del bando
Titolo del progetto dell'incarico: Compilazione sicura per codice generato da AI
Campo principale: Engineering
Sottocampo: Computer engineering
G.S.D.: 01/INFO-01 - INFORMATICA
S.S.D: INFO-01/A - Informatica
Descrizione sintetica: Questo progetto affronta i rischi del codice generato dall’IA, che agisce come un **compilatore stocastico e non affidabile**, traducendo intenzioni espresse in linguaggio naturale in codice spesso funzionalmente corretto, ma privo di consapevolezza rispetto agli aspetti di sicurezza. Il progetto propone una nuova teoria di **patch di sicurezza modulari (pluggable)** per rendere più robusto il codice generato dall’IA sia rispetto alle vulnerabilità classiche (ad esempio, **sicurezza della memoria** e **non-interferenza**), sia rispetto alle minacce **microarchitetturali**...
Data del bando: 15/09/2026
Numero di assegnazioni per anno: 1
Stanziamento annuale (indicativo): 22.500,00
Periodicità: 12 mesi
E' richiesta mobilità internazionale?: no
Paesi in cui può essere condotto l'incarico: Italy
Paesi di residenza dei candidati: AFRICA EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA OTHER E.U. CHINA (MAINLAND) CHINA (HONG KONG)
Nazionalità dei candidati: AFRICA EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA OTHER E.U. CHINA (MAINLAND) CHINA (HONG KONG)
Sito web del bando: https://lavoraconnoi.unitn.it/incarichi-di-ricerca/dipartimento-di-ingegneria-e-scienza-dellinformazione-avviso-di-selezione-il-conferimento-di-n-1-1
Dettagli del contratto
Destinatari dell'incarico di ricerca (of target group): Early stage researcher or 0-4 yrs (Post graduate)
Finanziatore
Nome dell'Ente finanziatore: Università degli Studi di Trento
Tipologia dell'Ente: Public research
Paese dell'Ente: Italy
Città: Trento
Codice postale: 38122
Indirizzo: Via Calepina 14
Sito web: http://www.unitn.it
EU Research Framework Programme
L'incarico finanziato/cofinanziato attraverso un EU Research Framework Programme?: No
Candidatura
Data di scadenza del bando: 06/10/2026 - alle ore 12:00
Come candidarsi: https://lavoraconnoi.unitn.it/incarichi-di-ricerca/dipartimento-di-ingegneria-e-scienza-dellinformazione-avviso-di-selezione-il-conferimento-di-n-1-1
Contatto
E-mail: selezioni.ricerca@unitn.it
Telefono: 0039 0461 281969-1914-1620-1157-5309
Advertisement text from Ministero dell'Università e della Ricerca, no licence stated; reproduced with attribution.
The employer's ad is the binding version. Apply through their system.
?
Saved calls and ads appear on your calendar, and their deadlines are included when you export it. Nothing else is added for you.