France: Postdoctoral position at INRIA Rennes
| The objective of this postdoctoral position is to contribute to the study of formal modeling and analysis of web-based systems. |
For the last five years, the Distribcom group has focused on the concept of active documents to handle Web-Services modeling and analysis. Systems described this way can be seen as distributed rewriting systems. For such models, analysis needs to handle at the same time tightly interconnected data and control issues. Among other things, one would like to ensure that web-based sytems compose well, that a composite service framework is correct for any implementation of its components, etc.
The objectives of this Post doctoral position are to contribute to ongoing research on distributed rewriting systems, and to the extension of an existing prototype manipulating active documents.
A detailed project is available at the following address:
http://www.irisa.fr/distribcom/Positions/PosteCarnot-eng.pdf
Application Deadline: 1 October 2012