Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Object-oriented Concurrency and Verification (within the framework of “Concurrency Made Easy” ERC project) – post doc position |
|---|---|
| Titolo del progetto di ricerca in inglese | Object-oriented Concurrency and Verification (within the framework of “Concurrency Made Easy” ERC project) – post doc position |
| 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 sulla definizione e sullo sviluppo di tecniche di prova per programmi concorrenti. Il programma di ricerca includerà l’analisi dello stato dell’arte, la definizione, lo sviluppo e la validazione di tecniche di prova innovative, la scrittura di articoli e la presentazione del lavoro svolto in seminari e conferenze. |
| Descrizione sintetica in inglese | he fellowship recipients will focus on the definition and development of Proof techniques for concurrent programs. The research program will encompass the analysis of the state of the art, the definition, development and validation of novel proof techniques, writing papers and giving presentations on the subject. |
| 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/ |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|---|
| 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/ |
| 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 |
| assegniricerca@polimi.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | Fp7/Ideas-ERC |
|---|
| Data di scadenza del bando | 11/10/2017 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |