View All Vacancies

Senior Research Associate (TURTLES) x 2 posts

School of Computing and Communications
Salary:   £32,600 to £37,768
Closing Date:   Friday 10 June 2016
Interview Date:   To be confirmed
Reference:  A1519

Two postdoctoral positions are available to undertake exciting and ambitious research in the area of decentralized systems that support social interactions between autonomous parties. The positions are in the School of Computing and Communications, Lancaster University, UK and are linked to the EPSRC-funded project Turtles: Protocol-Based Foundations for Distributed Multiagent Systems. Turtles is a collaboration between Lancaster and Imperial College London.

Turtles will address the challenges of decentralization by designing novel languages for specifying social protocols that capture the social meaning of interaction via normative abstractions such as commitments and, in general, contracts among the interacting parties. Potential applications are unlimited but include systems for e-business, healthcare, and smart cities and cross-cutting themes such as security, privacy, and trust.  Turtles will develop the theoretical and methodological foundations for decentralized systems and apply them in real applications.

You will join Lancaster in order to develop formal languages for specifying social protocols and the associated theory and software for runtime and programming language support.  You will also be expected to write and submit high-quality research papers, disseminate research results by giving talks and tutorials at conferences and other institutions, and undertake other research activities as needed. Please see Job Description for more details.

A PhD or equivalent degree in computer science or a closely-related field is required to be eligible for these positions.  You will have a track record of high-quality publications in areas of relevance to the project and the willingness to undertake ambitious and challenging research.  For more details, please see the detailed Person Specification for these positions.

The positions will be under the supervision of Dr Amit Chopra, who is a lecturer in the School and an expert in the area of decentralized multiagent systems and interaction protocols. Applicants are encouraged to take a look at Dr Chopra’s recent publications to get an idea of the potential themes and techniques involved in this project.

Both positions are for 30 months each and are available to start on 1 August 2016.

Interested candidates should contact Dr Amit Chopra for informal inquiries (

We welcome applications from people in all diversity groups.

The closing date for this job opportunity has now passed, and applications are no longer being accepted for this position

Further details:

Lancaster University - ensuring equality of opportunity and celebrating diversity



Forgotten Details


Stonewall Global Diversity Champions Athena Swan - Charter for Women in Science Lancaster University Partner Logos
TEF Gold Lancaster University Partner Logos