Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Collaboratore di ricerca in "Specifica e Verifica di Sistemi intelligenti" |
|---|---|
| Titolo del progetto di ricerca in inglese | Research Collaborator in " Specification and Verification of Smart Systems" |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | Campi: Linguaggi di Programmazione, Concorrenza, Logica strumenti di Verifica Attività: il candidato lavorerà nell'ambito del progetto PRIN IT-MATTERS, il cui obiettivo è lo sviluppo e sperimentazione di un nuovo metodo di specifica, implementazione e validazione di smart systems basati su metodi formali. Il candidato lavorerò in AbC, formalismo studiato all'interno della Unità di Ricerca SysMA |
| Descrizione sintetica in inglese | Fields: Concurrency, Programming Languages, Logics, Verification Tools Activity: The successful candidate will work within the IT-MATTERS PRIN project, whose goal is the development and the experimentation of a novel methodology for the specification, implementation and validation of trustworthy smart systems based on formal methods. In particular, the candidate will work with AbC, a recent formalism studied by the SysMA Research Unit and will contribute to efficient implementation of variants of the calculus by adding attribute-based communication to other well established languages and by using the new formalisms to specify and prove emergent properties of systems that group to achieve specified tasks while deal operating in changing environments. |
| Data del bando | 30/10/2019 |
| Numero di assegnazioni per anno | 1 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
International |
| Nazionalità dei candidati |
International |
| Sito web del bando | https://www.imtlucca.it/it/jobopportunity/specification-and-verification-of-smart-systems |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) Experienced researcher or 4-10 yrs (Post-Doc) |
|---|
| Nome dell'Ente finanziatore | IMT Alti Studi Lucca |
|---|---|
| Tipologia dell'Ente | Academic |
| Paese dell'Ente | Italy |
| Città | Lucca |
| Sito web | http://www.imtlucca.it |
| researchers.opening@imtlucca.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 14/11/2019 - alle ore 00:00 |
|---|