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 filling in the application form, please read thoroughly the full call and collect all the files you may need:
Info
- Personal info and contact info (compulsory);
- University degree (compulsory);
- PhD (compulsory only if stated in the full call).
Attachments
- The scanned copy of a valid identity document (Passport or Identity Card - compulsory);
- Your CV in English (compulsory).