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

bando per un incarico di lavoro autonomo "Analisi di teoremi di tipo-Ramsey su barriere"

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

bando ILA n. 28-2025.pdf

decreto approvazione atti bando ILA n. 28-2025.pdf

data pubblicazione verifica: 10-04-2025

data scadenza verifica: 15-04-2025

Tracce delle prove:

verbale_tracce_prin_bando ILA n. 28-2025.pdf

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