Concurrency, Programming Languages, Logics, Verification Tools
The successful candidate will work within the IT-MATTERS PRIN project, whose goal is the development and the experimentation of a novel methodology for the specification, implementation and validation of trustworthy smart systems based on formal methods. In particular, the candidate will work with AbC, a recent formalism studied by the SysMA Research Unit and will contribute to efficient implementation of variants of the calculus by adding attribute-based communication to other well established languages and by using the new formalisms to specify and prove emergent properties of systems that group to achieve specified tasks while deal operating in changing environments.
Very good knowledge of formal methods, verification techniques and modal logics. Demonstrable expertise in implementing compilers and interpreters for programming languages and very good knowledge of programming language such as Erlang and its concurrency packages or Google Language Go. Previous experience on the specification of Smart Systems, although not mandatory, will be especially appreciated.
- PhD in Computer Science;
- A CV suitable for carrying out research activity;
- An excellent knowledge of both written and spoken English is required.
1 year, renewable
Apply ONLINE only.
- Personal info and contact info (compulsory);
- University degree (compulsory);
- PhD (compulsory only if stated in the full call).
- The scanned copy of a valid identity document (Passport or Identity Card - compulsory);
- Your CV in English (compulsory).