Torna ai risultati della ricercaBando per contratto di ricerca
| Titolo del progetto di ricerca in italiano | Formal Methods in Software Engineering 2.0 - Bando CR 002 2026 ISTI PI |
|---|---|
| Titolo del progetto di ricerca in inglese | Formal Methods in Software Engineering 2.0 - Bando CR 002 2026 ISTI PI |
| G.S.D. | 01/INFO-01 - INFORMATICA |
| S.S.D | - |
| Descrizione sintetica in italiano | Il candidato studierà gli aspetti human-centered dell’Ingegneria del Software (SE) e dei Metodi Formali (FM) tramite metodologie empiriche rigorose. Nei 2 anni progetterà esperimenti controllati, studi crossover e metodi misti per analizzare: 1) comprensione e adozione di notazioni e FM in contesti realistici; 2) il ruolo dell’IA generativa (LLM e agenti) nel supportare comprensione, apprendimento e adozione dei FM; 3) la relazione tra caratteristiche degli utenti (profilo demografico, capacità cognitive, background e conoscenze) e comprensione, usabilità, accettazione e adozione. Analisi quantitative (es. modelli a effetti misti e bayesiani), integrate da evidenze qualitative, forniranno linee guida empiriche per migliorare usabilità, accessibilità e impatto pratico di tecniche FM e strumenti SE, soprattutto in contesti reali e safety-critical |
| Descrizione sintetica in inglese | The candidate will investigate human-centred aspects of Software Engineering (SE) and Formal Methods (FM) using rigorous empirical methodologies. Over 2 years, they will design controlled experiments, crossover studies, and mixed-method evaluations to analyse: 1) comprehension and adoption of notations and FM in realistic contexts; 2) whether and how Generative AI (LLMs and agents) supports comprehension, learning, and adoption of FM; 3) the relationship between user characteristics (demographics, cognitive abilities, education, prior knowledge) and comprehension, usability, acceptance, and adoption. Quantitative analyses (e.g., mixed-effects and Bayesian models), combined with qualitative evidence, will provide empirically grounded guidelines to improve usability, accessibility, and impact of FM techniques and SE tools, especially in real-world and safety-critical contexts |
| Data del bando | 13/04/2026 |
| Numero di assegnazioni per anno | 1 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
E.U. EUROPE OTHER |
| Nazionalità dei candidati |
E.U. EUROPE OTHER |
| Sito web del bando | https://www.urp.cnr.it/node/45925 |
| Destinatari del contratto di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|
| Nome dell'Ente finanziatore | CNR - ISTI |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Pisa |
| Sito web | https://www.isti.cnr.it/ |
| uff-reclutamento@isti.cnr.it |
| Contratto finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 24/04/2026 - alle ore 18:00 |
|---|---|
| Come candidarsi | https://selezionionline.cnr.it/ |