<div dir="ltr">
<div>A <span>(postdoctoral)</span> Senior Research Associate position is available at the <span>School of Computing and Communications</span>
 of Lancaster University to undertake exciting and ambitious research in
 the area of engineering decentralized sociotechnical systems. The 
position is linked to a five-year EPSRC-funded project.<br>
<br>
This project involves the following broad themes of research.<br>
<br>
- Interaction protocols: Languages, methodologies, and tools for 
specifying and enacting interaction protocols between autonomous 
parties.<br>
<br>
- Norms: Languages, methodologies, and tools for specifying, enacting, and monitoring norms, e.g., commitments between parties.<br>
<br>
- Technology: Applying the foregoing in current technical themes such as IoT, cybersecurity, and blockchain.<br>
<br>
- Applications: Applying the science in vital areas such as digital manufacturing, healthcare, and smart cities.<br>
<br>
The candidate will also be expected to write and submit high-quality 
research papers on the foregoing themes, disseminate research results by
 giving talks and tutorials at conferences and other institutions, 
assist with preparing grant proposals, and undertake other research 
activities as needed.<br>
<br>
A PhD or equivalent degree in computer science or a closely-related 
field is required to be eligible for this position. The ideal applicant 
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. <br>
<br>
The position will be under the supervision of Dr Amit Chopra, who is a 
senior lecturer in the School. 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. <span>Interested candidates should contact Dr Amit Chopra for informal inquiries (<a href="mailto:amit.chopra@lancaster.ac.uk" target="_blank">amit.chopra@lancaster.ac.uk</a>).</span><br>
<div><br>
The position is for 24 months and is available to start on 1 May 2018.</div>
<br>
Closing Date:   Sunday 08 April 2018<br>
<div>Interview Date:   Thursday 19 April 2018</div>
<span></span></div>
<p></p>

<p style="margin-top:0px;margin-bottom:0px"></p>
<div>
<div>Further details about this position are available at <a href="https://hr-jobs.lancs.ac.uk/Vacancy.aspx?ref=A2137-R" rel="noopener noreferrer" class="gmail-m_-2625361664849345934gmail-x_OWAAutoLink" id="gmail-m_-2625361664849345934gmail-LPlnk494830" target="_blank">https://hr-jobs.lancs.ac.uk/Vacancy.aspx?ref=A2137-R</a></div></div>

<br></div>