Bandi per incarichi di ricerca

Univ. VENEZIA

Torna ai risultati della ricerca
Bando per incarichi di ricerca
Descrizione del bando
Titolo del progetto dell'incarico in italiano Analisi statica corretta di sistemi software multilinguaggio
Titolo del progetto ddell'incarico in inglese Sound static analysis of multi-language software systems
G.S.D. 01/INFO-01 - INFORMATICA
S.S.D INFO-01/A - Informatica
Descrizione sintetica in italiano Il progetto si propone di studiare come diversi analizzatori statici
corretti, basati sull'interpretazione astratta, possano cooperare per analizzare sistemi
software moderni. Tali sistemi sono distribuiti (ovvero composti da numerose unità
indipendenti), comunicano in modo sincrono o asincrono e sono realizzati utilizzando una
varietà eterogenea di tecnologie e linguaggi di programmazione.
Descrizione sintetica in inglese The project aims at studying how different sound static analyzers based on
abstract interpretation can cooperate to analyze modern software systems. Such systems are distributed
(that is, composed of many independently deployable units), communicate synchronously or
asynchronously, and are built using heterogeneous technologies and programming languages
Data del bando 29/06/2026
Numero di assegnazioni per anno 1
Stanziamento annuale (indicativo) 28100
Periodicità 12
Paesi in cui può essere condotto l'incarico Italy
Paesi di residenza dei candidati AFRICA
EUROPE
OCEANIA
NORTH AMERICA
SOUTH AMERICA
ASIA
OTHER
E.U.
CHINA (MAINLAND)
CHINA (HONG KONG)
Nazionalità dei candidati AFRICA
EUROPE
OCEANIA
NORTH AMERICA
SOUTH AMERICA
ASIA
OTHER
E.U.
CHINA (MAINLAND)
CHINA (HONG KONG)
Sito web del bando https://www.unive.it/web/it/17536/bandi-incarichi-di-ricerca?tipologia=Incarichiricerca&cod=2026-UNVE000-0160346&hash=dee048902523a6a3dc0d263154f39e00

 

Dettagli dell'incarico di ricerca
Destinatari dell'incarico di ricerca (of target group) Early stage researcher or 0-4 yrs (Post graduate)
Importo annuale 22500
Valuta Euro
Comprende lo stipendio dell'assegnista yes
Comprende vitto e spese di viaggio no
Comprende il costo dell'incarico no
Massima durata dell'assegno (mesi) 24
Criteri di selezione in italiano (breve descrizione) CV, TITOLO, COLLOQUIO
Criteri di selezione in inglese (breve descrizione) CV, INTERVIEW
Processo di selezione in italiano (breve descrizione) CV, TITOLO, COLLOQUIO
Processo di selezione in inglese (breve descrizione) CV, INTERVIEW

 

Finanziatore
Nome dell'Ente finanziatore UNIVERSITA' CA' FOSCARI VENEZIA
Tipologia dell'Ente Academic
Paese dell'Ente Italy
Città Venezia
Sito web http://www.unive.it

 

Contatto presso l'Ente
E-mail ricerca.dais@unive.it

 

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

 

Dettagli per la candidatura
Data di scadenza del bando 17/07/2026 - alle ore 23:59
Come candidarsi https://www.unive.it/web/it/17536/bandi-incarichi-di-ricerca?tipologia=Incarichiricerca&cod=2026-UNVE000-0160346&hash=dee048902523a6a3dc0d263154f39e00