[ecoop-info] PhD scholarship on choreographies and APIs at the University of Leicester

[Emilio Tuosto]

Applications are invited for a 3-years full-time PhD scholarship to
conduct research combining model-driven techniques based on
choreographic models in an industrial setting.

The deadline for the application is Monday 10th April 2017 12pm (midday)
and interviews are expected between the 2nd and the 5th of May 2017.

The focus of the research is to extend and apply recent results on the
use of choreographies in round-trip software engineering. The
application domain will distributed APIs. More precisely we will
formalise APIs in terms of choreographic model in order to enable the
verification of their behavioural properties. Besides the theoretical
aspects, the PhD student will be deeply involved in the developement of
techniques for the effective application of the research. In fact, the
research activities will be in strict collaboration with Xibis, a
Leicester-based company operating in the areas of web-applications,
mobile computing, and IoT (xibis.com).

Details about the project and the application are available at

https://www2.le.ac.uk/colleges/scieng/research/pgr/oct-2017/informatics/tuosto

The successful applicant is required to have interest in

  - formal methods
  - verification and/or testing of software
  - programming

Basic knowledge on concurrency and/or distributed computing is
desirable. Interested candidates can contact Dr Emilio Tuosto
(emilio at le.ac.uk).

The Department of Informatics of Leicester strives to provide a
stimulating research environment committed to the development of high
quality projects and publication at international level. There are
internal and external seminar series, graduate lectures and reading
groups, all making for a research environment in which staff and
students can fulfil their potential.

Our research profile can be characterised by five broad themes:

  - Foundations of Computing
  - Software Modelling and Evolution
  - Validation and Verification
  - Algorithms: Complexity and Engineering
  - Interaction Design and Evaluation of Socio-technical Systems

(see http://www2.le.ac.uk/departments/informatics/research/rthemes for a
description of the themes). The PhD student fundend on this project will
work at the intersection of the first 3 themes above. Research staff and
students in the department are usually involved in a number of research
grants including projects with other universities and companies as well
as other collaborations at national and international level.

-- 

***************************************************************

	Emilio Tuosto

	Department of Informatics
	University of Leicester
	Leicester, LE1 7RH
	United Kingdom

	Tel. +44 (0) 116 252 5392
	Fax. +44 (0) 116 252 3915

	homepage -> http://www.cs.le.ac.uk/people/et52

***************************************************************