[ecoop-info] Deadline, June 10: Two Senior Research Associate positions at Lancaster University
akchopra.mail at gmail.com
Tue May 24 11:19:38 CEST 2016
There positions are to undertake exciting research in the engineering of
decentralized sociotechnical systems. The project focuses on the
specification of interactions protocols and their verification, methodology
and tools for specifying protocols, middleware that supports correct
decentralized enactments, and agent programming models based on protocols.
A feature of the project is its emphasis on social contracts at the level
of norms between autonomous parties in addition to messaging-level
contracts between software components.
Deadline: June 10
For more info on the kinds of themes involved:
Lancaster is a top computing department in the UK.
More details are here:
If you know of suitable candidates who might be interested, please
encourage them to apply.
More information about the ecoop-info