[ecoop-info] Deadline, June 10: Two Senior Research Associate positions at Lancaster University

[Amit Chopra]

Dear all

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:
http://www.lancaster.ac.uk/staff/chopraak/

Lancaster is a top computing department in the UK.

More details are here:

https://hr-jobs.lancs.ac.uk/Vacancy.aspx?ref=A1519

If you know of suitable candidates who might be interested, please
encourage them to apply.

Thanks
Amit Chopra