PhD opportunity at Inria/Irisa on logical contracts for cyber-physical systems

Project-team TEA (Inria-Rennes/Irisa, France) is seeking a talented Master
candidate with demonstrated knowledge and experience in logic,
verification, contracts, concurrency and control.

This PhD project focuses on the design and proof of concept of an
algebraic framework on which to reason about the composition, abstraction,
refinement, of individual, heterogeneous, CPS component specifications.
This framework will be defined by means of contracts expressing logical
properties modulo theories about assumptions and guarantees of system
components: digital (software, hardware) and analogic (physics,
mechanics), applied to, e.g., automated factories.

For more detail and for application, please visit 
https://www.inria.fr/institut/recrutement-metiers/offres/doctorants/doctorants/(view)/details.html?id=PGTFK026203F3VBQB6G68LONZ&LOV5=4509&nPostingID=11184&nPostingTargetID=17774