Bandi per assegni di ricerca

Univ. ROMA TRE

Torna ai risultati della ricerca
Bando per assegno di ricerca
Descrizione del bando
Titolo del progetto di ricerca in italiano Logica Lineare Differenziale
Titolo del progetto di ricerca in inglese Differential Linear Logic
Settore Concorsuale 01 - Scienze matematiche e informatiche
S.S.D MAT/01 - LOGICA MATEMATICA
Descrizione sintetica in italiano Il programma intende sviluppare il filone di ricerca scaturito dai lavori di Thomas Ehrhard e Laurent Regnier sull’estensione differenziale della Logica Lineare di Girard. In particolare, si mira a sviluppare la teoria delle reti differenziali, estendendo a frammenti significativi i risultati già ottenuti per il lambdacalcolo differenziale.
Descrizione sintetica in inglese The aim of the program is the development of the theory of differential Linear Logic, the differential extension introduced by Thomas Ehrhard and Laurent Regnier of Girard’s Linear Logic. In particular, we want to develop the theory of differential nets, and extend to remarkable fragments the results already obtained for the differential lambda-calculus.
Data del bando 11/09/2018
Numero di assegnazioni per anno 1
E' richiesta mobilità internazionale? no
Paesi in cui può essere condotta la ricerca Italy
Paesi di residenza dei candidati EUROPE
Nazionalità dei candidati EUROPE
Sito web del bando http://host.uniroma3.it/uffici/ricerca/assegni-di-ricerca.aspx

 

Dettagli dell'assegno di ricerca
Destinatari dell'assegno di ricerca (of target group) Early stage researcher or 0-4 yrs (Post graduate)
Il contratto prevede la copertura delle prestazioni sociali? yes

 

Finanziatore
Nome dell'Ente finanziatore Università degli Studi Roma Tre – Dipartimento di Matematica e Fisica
Tipologia dell'Ente Public research
Paese dell'Ente Italy
Città Roma
Codice postale 00146
Indirizzo L.go San Leonardo Murialdo 1,
Sito web http://host.uniroma3.it/uffici/ricerca/assegni-di-ricerca.aspx

 

Contatto presso l'Ente
E-mail ricerca.matematicafisica@uniroma3.it

 

EU Research Framework Programme
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? No

 

Dettagli per la candidatura
Data di scadenza del bando 10/10/2018 - alle ore 00:00
Come candidarsi Other