Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Sviluppo rigoroso basato sui modelli formali di sistemi medicali elettronici programmabili: dai requisiti al codice |
|---|---|
| Titolo del progetto di ricerca in inglese | Rigorous model-based Development of Programmable Electronic Medical Systems (PEMS): from Requirements to code |
| Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
| S.S.D | ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI |
| Descrizione sintetica in italiano | Gli obiettivi generali del programma di ricerca sono i seguenti: Processo e metodologia per la modellazione rigorosa di sistemi medicali elettronici programmabili (PEMS) soprattutto relativamente alle proprietà di sicurezza. Studio di tecniche per la verifica e validazione dei requisiti di sicurezza precedentemente modellati. Trasformazione automatica e verifica di conformità del modello formale in codice |
| Descrizione sintetica in inglese | The development of Programmable Electronic Medical Systems (PEMS) is faced with several complex challenges. On the one hand, market forces demand for shorter time for deployment, reduced costs and higher return on investments |
| Data del bando | 09/04/2015 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | http://www.unibg.it/struttura/struttura.asp?cerca=bandi_assegni#1388 |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|
| Nome dell'Ente finanziatore | Università degli Studi di Bergamo |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Bergamo |
| Sito web | http://www.unibg.it |
| selezionipersonale@unibg.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 09/05/2015 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |