Bandi per assegni di ricerca

Politecnico MILANO

Torna ai risultati della ricerca
Bando per assegno di ricerca
Descrizione del bando
Titolo del progetto di ricerca in italiano Object-oriented Concurrency and Verification (within the framework of “Concurrency Made Easy” ERC project)
Titolo del progetto di ricerca in inglese Object-oriented Concurrency and Verification (within the framework of “Concurrency Made Easy” ERC project)
Settore Concorsuale 01 - Scienze matematiche e informatiche
S.S.D -
Settore Concorsuale 09 - Ingegneria industriale e dell'informazione
S.S.D -
Descrizione sintetica in italiano Gli assegnisti di ricerca si focalizzeranno sullo svolgimento delle seguenti attività:
1. Definizione preliminare delle tecniche di prova per programmi concorrenti SCOOP.
2. Aggiornamento del prototipo di ricerca EVE per eseguire analisi di alias.
3. Analisi di deadlock per programmi concorrenti SCOOP.
4. Estensione della semantica assiomatica che riguarda i programmi concorrenti SCOOP.
5. Estensione del program prover AutoProof program prover per meccanismi concorrenti SCOOP.
6. Libreria di programmi concorrenti completamente verificati.

Descrizione sintetica in inglese The fellowship recipients will focus on the development of the following activities:
1. Draft of proof techniques for concurrent (SCOOP) programs.
2. Update of EVE research system for alias analysis.
3. Deadlock analysis for concurrent (SCOOP) programs.
4. Extension of axiomatic semantics covering concurrent (SCOOP) programs.
5. Extension of AutoProof program prover for SCOOP concurrent mechanisms.
6. Library of fully verified concurrent programs.

Data del bando 14/09/2017
Paesi in cui può essere condotta la ricerca Italy
Paesi di residenza dei candidati AFRICA
EUROPE
OCEANIA
NORTH AMERICA
SOUTH AMERICA
ASIA
OTHER
Nazionalità dei candidati AFRICA
EUROPE
OCEANIA
NORTH AMERICA
SOUTH AMERICA
ASIA
OTHER
Sito web del bando http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/

 

Dettagli dell'assegno di ricerca
Destinatari dell'assegno di ricerca (of target group) Early stage researcher or 0-4 yrs (Post graduate)
Processo di selezione in italiano (breve descrizione) Per partecipare alla selezione, si prega di leggere il bando disponibile sul sito web: http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/
Processo di selezione in inglese (breve descrizione) In order to participate in the selection, please read the call (“bando”) available at the following website: http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/

 

Finanziatore
Nome dell'Ente finanziatore Dipartimento di Elettronica, Informazione e Bioingegneria
Tipologia dell'Ente Public research
Paese dell'Ente Italy
Città milano
Sito web http://www.deib.polimi.it

 

Contatto presso l'Ente
E-mail assegniricerca@polimi.it

 

EU Research Framework Programme
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? Fp7/Ideas-ERC

 

Dettagli per la candidatura
Data di scadenza del bando 11/10/2017
Come candidarsi Other