Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Modellazione e analisi formale di sistemi software critici, in particolare sistemi ferroviari, sviluppando e applicando tecniche e strumenti di model checking di proprietà espresse in logica, di analisi stocastica, di formalismi basati su automi |
|---|---|
| Titolo del progetto di ricerca in inglese | Formal modelling and analysis of critical software systems, in particular railway systems, by developing and applying techniques and tools concerning model checking temporal logic properties, stochastic analysis, automata-based formalisms |
| Area CUN | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | Il candidato: • potrà partecipare alla definizione, lo sviluppo, la sperimentazione e il miglioramento di algoritmi e tool formali per la verfica di sistemi software, sia esistenti che nuovi (ad esempio, contract automata, team automata, timed automata, Petri nets), • potrà utilizzare tool formali (ad esempio, Contract Automata Tools, Uppaal) per la verifica di proprietà espresse in logica temporale di casi di studio rilevanti per la tematica, inclusi quelli in ambito di sistemi di segnalamento ferroviario di nuova generazione. |
| Descrizione sintetica in inglese | The candidate: • may participate in the definition, development, testing and improvement of algorithms and formal tools for the verification of software systems, both existing and new (for example, contract automata, team automata, timed automata, Petri nets), • may use formal tools (for example, Contract Automata Tools, Uppaal) to verify properties expressed in temporal logic of case studies relevant to the topic, including those in the field of new generation railway signaling systems. |
| Data del bando | 12/12/2023 |
| 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 | http://www.isti.cnr.it |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|
| Nome dell'Ente finanziatore | CNR - ISTI |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Pisa |
| Sito web | http://www.urp.cnr.it |
| sag@isti.cnr.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 03/01/2024 |
|---|---|
| Come candidarsi | Other |