Secure compilation of AI generated code

Vedi l’offerta su Go Lavoro: golavoro.it/annuncio-lavoro/8not4b

Organisation/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

I candidati sono invitati a leggere attentamente tutti gli elementi di questo annuncio. La preghiamo di inviare la sua candidatura tempestivamente.
Offer Description

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. xysqume 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...

- Italy

Eligibility of fellows: country/ies of residence:
- AFRICA
- EUROPE
- OCEANIA
- NORTH AMERICA
- SOUTH AMERICA
- ASIA
- OTHER
- E.U.
- CHINA (MAINLAND)
- CHINA (HONG KONG)

Eligibility of fellows: nationality/ies:
- Contact phone: -162

#J-18808-Ljbffr

Vedi l’offerta su Go Lavoro: golavoro.it/annuncio-lavoro/8not4b