Sound static analysis of multi-language software systems

Scientific-Disciplinary Group

01/INFO-01 - Informatics

Description

The project aims at studying how different sound static analyzers based onabstract interpretation can cooperate to analyze modern software systems. Such systems are distributed(that is, composed of many independently deployable units), communicate synchronously orasynchronously, and are built using heterogeneous technologies and programming languages

Compensation

22,500 Euro

Job posting website

https://www.unive.it/web/it/17536/bandi-incarichi-di-ricerca?tipologia=Incarichiricerca&cod=2026-UNVE000-0160346&hash=dee048902523a6a3dc0d263154f39e00

Number of positions

1

Maximum duration

24.0

Funding body

UNIVERSITA' CA' FOSCARI VENEZIA

Selection process