Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Specifica e verifica di proprietà temporali per modelli a iper-dottrine basati su grafi |
|---|---|
| Titolo del progetto di ricerca in inglese | Specification and verification of temporal properties for graph-based hyper-doctrine models |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | Assegno di ricerca - Dipartimento di Informatica - Durata 12 mesi - Scadenza 26 marzo 2022 ore 13.00 |
| Descrizione sintetica in inglese | Public selection for the assignment of n. 1 research activity grant at the Department of Computer Science - Duration 12 months - Expiration date 26th march 2022 at 1 pm |
| Data del bando | 11/03/2022 |
| Numero di assegnazioni per anno | 1 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
OTHER |
| Nazionalità dei candidati |
OTHER |
| Sito web del bando | https://bandi.unipi.it/public/Bandi/Detail/e15bd139-02e8-4a9d-b2ca-4bac30e0756c |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|
| Nome dell'Ente finanziatore | Università di Pisa - Dipartimento di Informatica |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Pisa |
| Sito web | http://www.unipi.it |
| concorsi_assegni@unipi.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 26/03/2022 |
|---|---|
| Come candidarsi | Other |