Post-doctorate on formal semantics of time in embedded architecture models with INRIA project TEA in Rennes, Brittany, France
Fri, 03/27/2015 - 4:07pm
A post-doctorate position is available with INRIA project TEA in Rennes (Brittany, France), for a duration of 18 months, to participate in a project which aims at defining, implementing and standardising a formal semantics of timed concurrency for embedded architecture models.
All are available online https://www.inria.fr/en/centre/rennes/overview/offers/post-doctoral-research-fellowships/post-doctoral-research-fellowships/%28view%29/details.html?nP...