Secure compilation of AI generated code
Pubblicato il 28-10-2026 - Italian Ministry of Education, University and Research in Italia
pOrganisation/Company Università degli Studi di Trento Research Field Engineering » Computer engineering Researcher Profile Recognised Researcher (R2) Leading Researcher (R4) First Stage Researcher (R1) Established Researcher (R3) Application Deadline 6 Oct 2026 - 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 /ph3Offer Description /h3pThis 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... /pulliItaly /li /ulh3Eligibility of fellows: country/ies of residence: /h3ulliAFRICA /liliEUROPE /liliOCEANIA /liliNORTH AMERICA /liliSOUTH AMERICA /liliASIA /liliOTHER /liliE.U. /liliCHINA (MAINLAND) /liliCHINA (HONG KONG) /li /ulh3Eligibility of fellows: nationality/ies: /h3ullibContact phone: /b - /li /ul #J-18808-Ljbffr