Systems Modeling, Properties Verificatio, Collective Adaptive Systems
The candidate should know the operational approach to the semantics of programming languages, logics, model checking, and theorem provers and have some familiarity with their application to the verification of complex systems.
The successful candidate will work with the team involved in the PRIN IT-Matters project and collaborate with experiments on the specification and verification of large-scale collective adaptive systems.
- PhD in Computer Science, Computer Engineering, Mathematics, Physics
- Good knowledge of English, both written and spoken
12 months
€ 23.000,00
Settore Concorsuale: 01/B1 - Informatica
Settore Scientifico Disciplinare: INF/01 – Informatica
“IT Matters: Methods and Tools for Trustworthy Smart systems” prof. Rocco De Nicola (CUP: D68D19001240001)
“Designing Spatially Distributed Cyber-Physical Systems under Uncertainty” prof. Mirco Tribastone (CUP: D68D19001250001)
Application
Apply ONLINE only.
Before starting prepare the application attachments and information as listed below.
Info
- Personal info and contact info (compulsory)
- Number of your Identity Document (Passport or Identity Card) (compulsory)
- University degree and ongoing PhD (compulsory)
Attachments
- Your CV in English (compulsory)