Descrizione posizione

Titolo del progetto di ricerca in italiano	Software Verification
Titolo del progetto di ricerca in inglese	Software Verification
Descrizione sintetica in italiano	Il candidato ideale avrà esperienza di ricerca nell'ambito della verifica del software, intesa in senso lato come l'insieme di strumenti e metodologie per assicurare che il software funzioni correttamente, senza comportamenti indesiderati, e aderendo a misure di qualità come l'affidabilità, le prestazioni e la sicurezza. Ciò include background in diverse aree dell'informatica, come la teoria e l'implementazione dei linguaggi di programmazione, i metodi formali, la verifica assistita dal computer e l'ingegneria del software, con competenze che abbracciano l'intero ciclo di vita dello sviluppo del software, dai requisiti ai test e alla validazione.
Descrizione sintetica in inglese	The ideal candidate will have research experience in software verification, broadly understood as the set of tools and methodologies to ensure that software is functioning correctly, without undesirable behavior, and adhering to quality measures such as reliability, performance, and security. This includes a background in various areas of computer science, such as programming language theory and implementation, formal methods, computer-aided verification, and software engineering, with skills spanning the entire software development lifecycle, from requirements to testing and validation.
Numero posti	1
Campo principale della ricerca	Computer science
Sottocampo della ricerca	Informatics
Settore Concorsuale	01/B1 - INFORMATICA
S.S.D	INF/01 - INFORMATICA
Destinatari del bando (of target group)	Early stage researcher or 0-4 yrs (Post graduate) Experienced researcher or 4-10 yrs (Post-Doc)
Data del bando	22/03/2022

 

FP7 / PEOPLE / Marie Curie Actions

Research Framework Programme / Marie Curie Actions	No

 

Dettagli dell'impiego

Tipo di contratto	Temporary
Tempo	Full-time
Ore settimanali	40
Organizzazione/Ente	Scuola IMT Alti Studi Lucca
Paese (dove si svolgerà l'attività)	ITALY
Città	Lucca

 

Contatto presso l'Organizzazione/Ente

Organizzazione/Ente	Scuola IMT Alti Studi Lucca
Paese	ITALY
Stato/Provincia	Lucca
Città	Lucca
Codice postale	55100
Indirizzo	Scuola IMT Alti Studi Lucca, Piazza San Ponziano 6
E-mail	hr@imtlucca.it

 

Dettagli per la candidatura

Data prevedibile per l'assunzione	01/10/2022
Data di scadenza del bando	23/05/2022
Come candidarsi	https://www.imtlucca.it/it/jobopportunity/software-verification

 

Titoli di studio richiesti

 

Esperienze di ricerca richieste

Campo principale della ricerca	Computer science
Sottocampo della ricerca
Anni di esperienza richiesti	3

 

Lingue richieste

Lingua	ENGLISH
Livello di conoscenza della lingua	Excellent