bando per un incarico di lavoro autonomo "Analisi di teoremi di tipo-Ramsey su barriere" (2025-0065-1340-231517)

Data pubblicazione: 16-04-2025
Data scadenza: 02-05-2025
Centro di spesa: DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
data dell'ultimo aggiornamento: 08/07/2025 - 12:22
Codice bando: 28/2025
data pubblicazione verifica: 10-04-2025
data scadenza verifica: 15-04-2025
2025-0065-1340-231517
Totale incarichi: 1

Incarichi conferiti

Tutte le pubblicazioni riguardanti i titolari di incarichi politici, i dirigenti, i consulenti e i collaboratori, di seguito riportate, sono garantite per tutta la durata dell'incarico nonché per un periodo ulteriore di tre anni decorrenti dalla data di cessazione dell'incarico medesimo ai sensi delle normative vigenti in termini di Trasparenza e Privacy.

ESTREMI ATTO Nominativo Periodo rapporto Oggetto dell'incarico Compenso
CONTRATTO PER INCARICO DI LAVORO AUTONOMO Protocollo 3926/2025 del 10/07/2025 GJETAJ ORIOLA 11-07-2025 to 25-09-2025

Supporto al progetto di ricerca sull'analisi di teoremi di tipo Ramsey.  Studio dal punto di vista logico e computazionale delle generalizzazioni di alcuni teoremi di tipo Hindman e dell'andamento asintotico di versioni "finitarie" di teoremi di tipo Hindman, allo scopo di determinarne la dimostrabilità/indimostrabilità in opportuni sistemi assiomatici della aritmetica del primo ordine. 

€6 000.00
© Sapienza Università di Roma - Piazzale Aldo Moro 5, 00185 Roma - (+39) 06 49911 - CF 80209930587 PI 02133771002