Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Machine Learning for the verification and synthesis of cyber-physical systems |
|---|---|
| Titolo del progetto di ricerca in inglese | Machine Learning for the verification and synthesis of cyber-physical systems |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | Il candidato esaminerà l'applicazione di tecniche di machine learning per migliorare la scalabilità delle tecniche di verifica, sintesi e controllo per i sistemi cyberfisici, concentrandosi su due specifici caratteristiche: la localizzazione spaziale di questi sistemi e la loro incertezza. Il lavoro del postdoc si concentrerà su alcuni di questi aspetti: accelerazione degli algoritmi di simulazione sfruttando i metodi bayesiani e/o di deep learning, verifica e monitoraggio approssimati e scalabili integrando tecniche di deep learning con metodi di verifica standard, algoritmi scalabili per il controllo predittivo e la pianificazione usando tecniche Bayesiane e/o metodi di deep learning e applicazioni per la pianificazione del movimento di un robot in un ambiente affollato. Il candidato dovrebbe avere una ragionevole conoscenza del machine learning e/o dei sistemi cyber-fisici e/o della verifica per i sistemi stocastici o ibridi. |
| Descrizione sintetica in inglese | Within the national project “SEDUCE” - Designing Spatially Distributed Cyber-Physical Systems under Uncertainty, the postdoc will investigate the application of machine learning techniques to improve scalability of verification, synthesis and control techniques for cyber-physical systems, with a focus on two specific features: the spatial localization of these systems, and their uncertainty. The work of the postdoc will focus on some of these aspects: acceleration of simulation algorithms by exploiting Bayesian and/or deep learning methods, scalable approximate verification and monitoring integrating deep learning with standard verification methods, accelerated model predictive control and planning using Bayesian and/or deep learning methods, and applications to motion planning of a robot in a crowded environment. The candidate is expected to have some knowledge of machine learning and/or cyber-physical systems and/or verification for stochastic or hybrid systems. |
| Data del bando | 14/10/2021 |
| 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://web.units.it/concorsi/ricerca/conc-43044 |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Importo annuale | 23760 |
| Valuta | Euro |
| Massima durata dell'assegno (mesi) | 12 |
| Nome dell'Ente finanziatore | Università degli Studi di Trieste |
|---|---|
| Tipologia dell'Ente | Academic |
| Paese dell'Ente | Italy |
| Città | Trieste |
| Sito web | https://www.units.it/ |
| assegni@amm.units.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 15/11/2021 - alle ore 00:00 |
|---|---|
| Come candidarsi | https://pica.cineca.it/units (rif. PICA 21ar985-6) |